I am a member of the Programming Languages and Tools Group at Microsoft Research India.
I was a graduate student at the Computer Sciences Department of the University of Wisconsin – Madison from 1987 to 1993, where I completed my Ph.D. under the guidance of Prof. Thomas Reps. From 1993 to 2006 July, I was with the IBM T.J.Watson Research Center. I am now with Microsoft Research India in Bangalore, India.
My interests include: Programming languages, Programming tools, Static program analysis, Formal methods, Software verification, Concurrency, Distributed programming.
Share this page: