Sriram Rajamani is a Distinguished Scientist at Microsoft Research and Managing Director of Microsoft Research India. Their lab does leading edge research spanning the following areas: (1) Algorithms, (2) Artifical Intelligence and Machine Learning, (3) Systems, and (4) Technology and Empowerment.
Responsibilities for his current role include leadership of the lab, setting direction and culture of the lab, hiring and career development of staff, working with senior management in product groups to influence their technology decisions, and with academic community to set up and sustain collaborative relationships.
His individual research intrests 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 automating specific programming tasks by combining Program Synthesis and Machine Learning.
He was co-winner of the 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.” He was elected ACM Fellow in 2015 for contributions to software analysis and defect detection. He is also a recent Fellow of Indian National Academy of Engineering.