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 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.

Publications

Videos

Other

Program Committees

Other Service

Previous

  • Executive Committee Member, Asian Association for Foundation of Software (AAFS)

Links