This site is under construction.       

I am currently a graduate student (since 2006) at the Department of Electrical Engineering and Computer Science at UC, Berkeley.  My research advisor is Professor Sanjit Seshia. I did my Bachelors in Technology in Computer Science and Engineering (2002-2006) from the Department of Computer Science and Engineering at the Indian Institute of Technology, Kharagpur.

My major research interests include Computational Logic and Formal Methods - in particular their application to Verification and Validation of Systems, Model Checking, Analysis of Hybrid Systems, Computer Security and Systems Biology.