Sriram Rajamani



I am Assistant Managing Director of Microsoft Research India.

My research interests are in Programming Languages and Tools. Recently, I  have started working in Security and Privacy, particularly with cloud-based systems.   Specific current research interests include:

    • designing programming languages and analysis techniques to enable widespread use of machine learning by non-experts.
    • programming languages and tools to help with cloud security.

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

New: The ACM Symposium on Principles of Programming Languages (POPL) is an annual forum for the discussion of all aspects of programming languages and programming systems.  POPL 2015 will be in Mumbai, India in January 2015, and I am General Chair. We are looking for sponsors and other help. Please contact me if you are able to help.

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 Chairing:

  • VSTTE 2010 (co-chaired with Gary Leavens and Peter O'Hearn), ISEC 2008  and ISEC 2009  (co-chaired together with Pankaj Jalote), CAV 2005(co-chaired togetherwith Kousha Etessami), SPIN 2003(co-chaired together with Tom Ball)  (done!)

Program Committees: