

Sriram Rajamani
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 …
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.