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
PhD in Computer Science
University of Utah