Portrait of Sriram Rajamani

Sriram Rajamani

Corporate Vice President, Microsoft Research

Connect on LinkedIn

About

Sriram Rajamani is Corporate Vice President at Microsoft Research.

Recent update (June 2024):

I have taken on a new leadership role in Microsoft Research focused on improving the productivity of large software engineering teams by combining LLMs together with static analysis, testing and verification tools. We will share more information in due course.

Venkat Padmanabhan (opens in new tab) is now the Managing Director of Microsoft Research India.  Congratulations and best wishes, Venkat!

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. He is currently working on reimagining the future of programming and software engineering in this era of large AI models.

Together with Tom Ball, he was awarded the CAV 2011 Award (opens in new tab) 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 (opens in new tab) in 2015 for contributions to software analysis and defect detection, and Fellow of  Indian National Academy of Engineering (opens in new tab) in 2016.

Sriram was general chair for POPL 2015 (opens in new tab)in India, and was program Co-Chair for CAV 2005 (opens in new tab). He co-founded the Mysore Park Series, (opens in new tab)and the ISEC conference series (opens in new tab)in India.  He has served on several ACM committees, including on the CACM editorial board. (opens in new tab)

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