----------------------------Resume--------------------------------
Research Scholar
IIT Bombay
Powai, Mumbai, 400076
Advisor: Prof. Supratik Chakraborty
Email: bhargav@cse.iitb.ac.in
Phone: 9819085395
Office: 91-022-25768701
Homepage: http://www.cse.iitb.ac.in/~bhargav

Education
M.Tech, Computer Science (2003-2005)
IIT Bombay
Advisor: Prof. Supratik Chakraborty

B.E. Computer Science (1998-2002)
Sardar Patel College of Engineering
Mumbai University

Referred Publications:
1. "Counterexample driven Refinement for Abstract Interpretation", Bhargav S. Gulavani and Sriram K. Rajamani, in the Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2006

2. "Synergy: A New Algorithm for Property Checking", Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori and Sriram K. Rajamani, in the Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, November 2006

Unrefereed Publications:
1. "Automatically Refining Abstract Interpretations", Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori and Sriram K. Rajamani, Technical Report, CFDVS, IIT Bombay, TR-07-23, July 2007

Internships:
Microsoft Research (Redmond)
Mentor: Sriram Rajamani
Project: Counterexample driven Abstraction Refinement

Microsoft Research India (Bangalore)
Mentor: Aditya Nori and Sriram Rajamani
Project: Generalizations for Synergy Algorithm