I work as a Researcher in the Programming Technologies and Software Engineering group at IBM Research, Bangalore, India. My interests lie in analysis algorithms for sequential and concurrent programs, automated compositional analysis, rewriting and decision procedures. I'm also interested in model-based design of distributed systems.

I worked earlier as a Research Staff Member in the System Analysis and Verification group at NEC Labs, Princeton. I obtained my Ph.D. and M.S. in Computer Engineering from Carnegie Mellon University, and B.Tech. (Hons.) in Computer Sc. and Engg. from IIT Kharagpur.

More details on my personal web page.

Current Projects

My current projects include Alter, a scalable and focused program analyzer which employs goal-directed search and learns from failures. I'm also working on rule-guided testing of web applications.