Subodh Sharma

Subodh Sharma

Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation



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. My recent research investigations have been in the area of systems security, data privacy, and Blockchain.

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 associated with the VerTeCS research group@IITD and also an associated faculty member in the School for Public Policy.

  • Formal Verification
  • Program Analysis
  • Systems Security, Data Privacy
  • High Performance Computing
  • PhD in Computer Science

    University of Utah


  • Divyanjali’s work on “Thread-modular Analysis of Release-Acquire Concurrency” has been accepted in 28 Static Analysis Symposium 2021. If you are looking for a preprint, please email me.
  • Sanjana’s work on “Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics” is accepted in TASE 2021.
  • Dhriti’s work on “Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks” is accepted in ICST 2021.
  • Madhukar’s work on “Security Types for Synchronous Data Flow Systems” is accepted (Best Paper Award) in 18th ACM-IEEE MEMOCODE 2020.
  • Our sidenote on “Privacy Concerns with Aadhaar” appeared in the November'19 issue of Communications of the ACM.

Note for 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 six months.




  • Namrata Jain
    MTech Thesis: Verification and Synthesis of Smart Contracts
    First employment: Microsoft

  • Arpit Aggarwal
    MTech Thesis: Bounded Model Checking of Go Concurrency
    First employment: Oracle

  • Deepanker Mishra
    MTech Thesis: Parameterized Verification of Message Passing Programs
    First employment: Nutanix

  • Garvit Jain
    MTech Thesis: Parameterized Verification of Message Passing Programs

  • Abhishek Khuntwal
    MTech Thesis: Efficient Parallelization of DPOR
    First employment: Nutanix

  • Ronak Khandelwal
    MTech Thesis: Runtime Verification of C11 Concurrency
    First employment: Worldquant

  • Guarav Gupta
    MTech Thesis: Accelarating SSL Computations Via GPUs
    First employment: Adobe


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