Subodh Sharma

Subodh Sharma
Assistant Professor,
Department of Computer Science,
IIT Delhi, Hauz Khas
New Delhi, 110016
Email: svs[at]
Ph: +91 (11) 2659-7639

About Me

Prior to joining Department of Computer Science and Engineering at IIT Delhi, I worked as a post-doctoral researcher in the Systems Verification group at  University of Oxford. I obtained my PhD from University of Utah. My research interests lie in ensuring software reliability of concurrent and parallel software via static and dynamic program analysis, model checking, and advancements to programming languages. I am also interested in creation of scalable “push-button” formal verification technology by employing high performance computing hardware. .


Current PhD Students

Recent Publications

For complete list of publications, refer here.

VerTeCS Research Group

Details on our PL/Verification/OS research group's activity can be found on the group's webpage. We, in addition, also run a reading group that meets weekly to discuss recent papers in top venues of PL/Verification/OS research.

© 2016 Subodh Sharma