POPL 2017
Sun 15 - Sat 21 January 2017
Sriram Rajamani

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

Contributions

Show activities from other conferences

POPL 2017-profile
View general profile