Portrait of Sriram Rajamani

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:

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