![Sriram Rajamani](https://popl17.sigplan.org/getProfileImage/sriramrajamani/0b435d61-f104-4696-a3d2-f21aacb3074e/small.jpg?1715656609000)
Registered user since Thu 16 May 2019
Name:Sriram Rajamani
Bio:
I am Assistant Managing Director of Microsoft Research India. My research interests are in Programming Languages and Tools. Most of my work is about designing, building and analyzing computer systems in a principled manner. Over the years I have worked on various topics including Hardware and Software Verification, Type Systems, Language Design, Distributed Systems, Security and Privacy and Probabilistic Programming.
Affiliation:Microsoft Research
Personal website: http://research.microsoft.com/en-us/people/sriram/
Contributions
POPL 2017-profile
View general profile
View general profile