Portrait of G. Ramalingam

G. Ramalingam

Principal Researcher

About

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 (opens in new tab) of the University of Wisconsin – Madison (opens in new tab) from 1987 to 1993, where I completed my Ph.D. under the guidance of Prof. Thomas Reps (opens in new tab). From 1993 to 2006 July, I was with the IBM T.J.Watson Research Center (opens in new tab). 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.