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, in particular, web applications.
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.
Programming the Web. Developing rich web applications for heterogeneous platforms rapidly and effectively.
Alter. A scalable and focused program analyzer which employs goal-directed search and learns from failures.