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.
PhD in Computer Science
University of Utah
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.
Sanjana Singh (Graduation year: 2023)
PhD Dissertation: Program Analysis of Relaxed Memory Concurrency
First employment: Intel Formal Verification Team, Bangaluru
Tooba Khan (Graduation year: 2023)
MTech Thesis: Automated Security Analysis of Machine Learning Systems
First employment: PhD student in USC
Deepak Kunwar (Graduation year: 2022)
MTech Thesis: Automatic Verification of Sequential Consistent Memory Concurrency
First employment: Microsoft
Namrata Jain (Graduation year: 2021)
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