Subodh Sharma

Subodh Sharma

Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation

CSE@IIT Delhi

Biography

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.

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

    University of Utah

News

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.

Students

Current

Former

  • 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

Contact

  • svs [@] cse.iitd.ac.in
  • 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