Sriram Rajamani at Microsoft Research

Distinguished Scientist and Managing Director, Microsoft Research India Lab

About

Sriram Rajamani is Distinguished Scientist and Managing Director of Microsoft Research India.

Recent updates:

Invited talk: SPLASH 2020 invited keynote on “Models and Programs: Better Together”. pdf slides. video.
Course: PhD level course on Program Synthesis and Machine Learning, co-taught at IISc in the Jan 2020 semester.

Interests and background: Sriram’s research interests are in designing, building and analyzing computer systems in a principled manner. Over the years he has worked on various topics including Hardware and Software Verification, Type Systems, Language Design, Distributed Systems, Security and Privacy. His current research interest is in combining Program Synthesis and Machine Learning.

Together with Tom Ball, he was awarded the CAV 2011 Award for “contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.” Sriram was elected ACM Fellow …

Sriram Rajamani is Distinguished Scientist and Managing Director of Microsoft Research India.

Recent updates:

Invited talk: SPLASH 2020 invited keynote on “Models and Programs: Better Together”. pdf slides. video.
Course: PhD level course on Program Synthesis and Machine Learning, co-taught at IISc in the Jan 2020 semester.

Interests and background:
Sriram’s research interests are in designing, building and analyzing computer systems in a principled manner. Over the years he has worked on various topics including Hardware and Software Verification, Type Systems, Language Design, Distributed Systems, Security and Privacy. His current research interest is in combining Program Synthesis and Machine Learning.

Sriram was general chair for POPL 2015 in India, and was program Co-Chair for CAV 2005. He co-founded the Mysore Park Series, and the ISEC conference series in India. He serves on the CACM editorial board as co-chair for special regional sections, to bring computing innovations from around the world to CACM.

Sriram has a PhD from UC Berkeley, MS from University of Virginia and BEng from College of Engineering, Guindy, all with specialization in Computer Science. In 2020, he was named as a Distinguished Alumnus by College of Engineering, Guindy.

PLEASE READ THE FOLOWING BEFORE SENDING ME EMAIL:

If you want to know about MSR India’s Research Fellow Program and how to apply see here.

If you want information about MSR India’s travel grant program please see MSR India’s webpage, and click on the “Academic Outreach” TAB. The page also shows how to apply for travel grants online.

If you want a job at MSR India please apply online.

Special request to parents: If your son or daughter wants a job or internship at MSR India, please ask them to apply online.

Microsoft Research Podcast

Innovating in India with Dr. Sriram Rajamani

Episode 103 | January 22, 2020 - Dr. Sriram Rajamani is a Distinguished Scientist and the Managing Director of the Microsoft Research lab in Bangalore. He’s dedicated his career to advancing globally applicable science in the testbed that is India. He is, by any measure, a world-class researcher and leader. He’s also, as you’ll find out shortly, a world-class storyteller! On the podcast, Dr. Rajamani talks about the unique challenges and opportunities of leading MSR’s research efforts in India and what it takes to build a robust research ecosystem in a country of huge disparities. He also dispels some preconceptions about poor and marginalized populations and explains why ‘frugal innovation’ may be one key to solving societal scale problems.