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


Prospective Students (MS/PhD/Interns)

I am looking for motivated students who are good in mathematics and programming and are interested in pursuing research (MSR/PhD) in the broad areas of verification, program synthesis, and security. If you are interested, drop me an email with your resume with the subject tag [ResearchApplicant]. Note that the admission in to the program will be through the regular admission process for MSR/PhD students (refer the cse@iitd admissions page for details). For internships, the expected time commitment from students is at least a semester.


Security in the IoT Space

IoT space is expanding at a tremendous pace and security in IoT systems has been identified as one of the critical areas which require …

Parametric Verification of Distributed Systems

Distributed systems are often programmed in a manner that is parametric in the number of processes, endpoints, or nodes. In this …

Verification of C/C++11 Concurrency

Verification of parallel systems is a complex exercise. The large state spaces created due to thread interleavings complicates the …




  • Guarav Gupta
    MTech Thesis: Accelarating SSL Computations Via GPUs
    First employment: Adobe
  • Ronak Khandelwal
    MTech Thesis: Runtime Verification of C11 Concurrency
    First employment: Worldquant
  • Abhishek Khuntwal
    MTech Thesis: Efficient Parallelization of DPOR
    First employment: Nutanix
  • Deepanker Mishra
    MTech Thesis: Parameterized Verification of Message Passing Programs
    First employment: Nutanix
  • Garvit Jain
    MTech Thesis: Parameterized Verification of Message Passing Programs
  • Arpit Aggarwal
    MTech Thesis: Bounded Model Checking of Go Concurrency
    First employment: Oracle


  • svs [@] cse.iitd.ac.in
  • 419 Bharti Bldg. IIT Delhi, New Delhi, Hauz Khas, 110016, India
  • Enter Bharti Building and take the stairs to Office 419 on Floor 3
  • Skype Me