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 analysis of hardware, software and biological systems.

Complexity Analysis of SMT solving for theory of strings is available here.

Bitvector Decision Procedure Beaver-1.0 (version which participated in QF_BV SMTCOMP08) is available for download here. It is a theorem prover for bit-vector logic.