Subodh Sharma

Assistant Professor


My research is primarily in the area of software engineering and formal methods. I am interested in ensuring the reliability of parallel software via static and dynamic program analyses, model checking, and PL solutions. I am also interested in employing HPC towards the creation of scalable verification technology.

Prior to joining the Department of Computer Science and Engineering at IIT Delhi, I worked as a post-doctoral researcher in the Systems Verification group at the University of Oxford.

I am also associated with the VerTeCS research group@IITD. We, in addition, also run a reading group that meets weekly to discuss recent papers in top venues of PL/Verification/OS research.


  • Formal Verification
  • Security, Blockchains
  • HPC


  • PhD in Computer Science

    University of Utah