Write a Blog >>
Sriram Rajamani

Not registered as user yet

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/

POPL 2016 Activities

POPL 2016-profile
View general profile