This site is perennially 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 research area is Formal Methods. I am particularly interested in developing and applying constraint solving and probabilistic techniques for analysis of systems.

Recent Papers

1. Bitvector Decision Procedure Beaver-1.0 is available for download here. It is a theorem prover for bit-vector logic. CAV 2009 paper on Beaver is available here. (Work with Rhishi and Sanjit) News: Beaver was again ranked 3 among all bit-vector solvers and 1 among open-source solvers in SMT-COMP09 - the same ranks as in SMT-COMP08.

2.On Voting Machine Design for Verification and Testability accepted in ACM CCS 2009 (Work with Cynthia Sturton, David Wagner and Sanjit Seshia)

3. Localizing Error in Traces with Interpolants in ISEC 2010 (Work with Sumit Jha)

4. Localizing Transient Faults Using Dynamic Bayesian Networks accepted in HLDVT, 2009 (Work with Wenchao Li and Sanjit Seshia)