Ajay Krishna

  • Postdoctoral Researcher, Inria Grenoble
Hi! I am currently a Postdoctoral Researcher in the CONVECS team at Inria, Grenoble. My research focuses on formal verification and analysis of industrial IoT applications. I defended my PhD thesis in December 2020. During my thesis, I worked on leveraging formal methods to build behaviourally correct IoT applications. The work was 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 of Engineering degree in Computer Science from Visvesvaraya Technological University.


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

Research projects