Subodh Sharma

Home         Contact         Research        Misc

I am a graduate student in the School of Computing and my research interests lie in the area of Formal Verification of distributed systems via formal specification and model checking. I finished my undergraduation in Computer Engineering from University of Mumbai in June 2005. I am currently working in the Gauss group with Prof. Ganesh Gopalakrishnan and Prof. Mike Kirby as my advisors.

This document was translated from L^AT_EX by H^EV^EA.

free hit counters