My research interests are in concurrency and model checking. I am working on the project 'Timed CSP-based model checking techniques'.
I studied Computer Engineering at Karnataka Regional Engineering College, Mangalore University (now National Institute of Technology, Karnataka). I obtained the degree of Bachelor of Engineering in 2001 in the First Class with Distinction. Subsequently, I studied at the University of Twente and obtained a Master of Science degree (met lof) in 2004. Currently, I am studying at the University of Oxford for the degree of Doctor of Philosophy in Computer Science.
