关于
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.
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.