Skip to main content

Subodh Sharma

Personal photo - Subodh Sharma

Dr Subodh Sharma

Research Assistant


My broad goal is to use automated verification techniques to ensure software reliability and security. My primary interests lie in the verification of concurrent and distributed programs via static/dynamic analysis and model checking. 


I am currently a post-doctoral research assistant in the Systems Verification group headed by Prof. Daniel Kroening since April, 2012. I finished my Ph.D. from the University of Utah under the supervision of Prof. Ganesh Gopalakrishnan in March, 2012. During my PhD I studied the problem of verifying message passing software (written using MPI and MCAPI) via dynamic verification methods. My on-going work here in Oxford is focused on exploring symbolic based methods  to assist dynamic verification thereby allowing scalable verification of message passing software. 

Selected Publications

View AllManage publications