I am a post doctoral researcher at the Rigorous Software Engineering group of Microsoft Research India. I joined in November 2008. My research interests are in computer systems with focus on computer architecture, static analysis and programming languages. I completed my PhD from the Indian Institute of Science where I worked with Prof R. Govindarajan.

The page is under construction and will be updated soon.