Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Ganesan Ramalingam

I am a member of the Programming Languages and Tools Group at Microsoft Research India.

Interests: Programming languages, Programming tools, Static program analysis, Formal methods, Software verification, Concurrency, Distributed programming.

Publications

Other Links: