Portrait of G. Ramalingam

G. Ramalingam

Principal Researcher


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.