Skip to main content

Subodh Sharma

Personal photo - Subodh Sharma

Dr Subodh Sharma

Research Assistant

Leaving date: 30th November 2014

Projects:

    Interests

    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. 

    Biography

    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