Ajay Krishna

  • PhD Student, Inria Grenoble
Hi! I am currently a final year PhD. student in the CONVECS team at Inria, Grenoble. My research focuses on leveraging formal methods to build behaviourally correct IoT applications. My thesis is done in collaboration with Nokia Bell Labs under the supervision of Gwen Salaün, Radu Mateescu, and Michel Le Pallec.
I received my Masters degree specializing in High-confidence Embedded and Cyberphysical Systems from Université Grenoble Alpes - ENSIMAG in 2017. Previously, I worked at Thomson Reuters as a Software Engineer contributing to the software applications needed to editorially enhance judicial content (Westlaw®, Findlaw®). I have a Bachelor’s engineering degree in Computer Science from Visvesvaraya Technological University.


formal methods, verification, internet of things, IIoT, automated verification, business process, software engineering

Research projects