Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Sriram Rajamani



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

I am currently working on the Trusted Cloud and Probabilistic Programming projects.

My bio can be found here. Recent papers can be found here.

Other interests:

  • Together with colleagues at MSR India, I am working on a blended learning model (combining online learning with in-classroom pedagogy) for education in India. For more detais see: Massively Empowered Classrooms.
  • I am very interested in CS research community activities in India. See Mysore-Park workshop series.

Editorial Boards:

 Keynote Talks:

Conference Organization:

I have chaired or co-chaired the following conferences in the past. Due to my research and management workload at MSR India, I am currently not undertaking any conference chairing roles.

I have served on the following conference program committees:

SNAPL 2015, POPL 2013, PLDI 2013 (ERC), ISEC 2013, VMCAI 2011PLDI 2010, ICSE 2010ISEC 2010, ISSRE 2009, FSE 2009POPL 2009FSTTCS 2008, CCS 2008, ISSTA 2008, TACAS 2008, ICSE 2008, FSE 2007, FSTTCS 2006, APLAS 2006, APSEC 2006, PLAS 2006 , POPL 2005, TACAS 2005FMCAD 2004, ISSTA 2004, FSTTCS 2003 , PPoPP 2003, CAV 2003 , TACAS 2003,SPIN 2002, FSE 2002, SAVE 2001