Sriram Rajamani is Assistant Managing Director of Microsoft Research India.
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, Cloud Security and Probabilistic Programming.
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." He is also co-winner of Most Influential PLDI Paper award for PLDI 2001 (for this paper) and SIGSOFT Best Paper Award for FSE 2006 (for this paper).
Prior to moving to Microsoft Research's India lab, Sriram was manager of the Software Productivity Tools group in Microsoft Research Redmond. Sriram has a PhD in Computer Science from the University of California at Berkeley, MS in Computer Science from the University of Virginia, and a BE in Computer Science from Anna University College of Engineering, Guindy, in Chennai. In a previous life Sriram has worked as a programmer for over 5 years writing telecommunication software and electronic design automation software. He uses his first-hand experience in the realities of commercial software development to guide his choice of problems and approaches to research in software productivity.
Sriram is an Adjunct Professor at the Indian Institute of Technology in Hyderabad. He serves on the editorial board of CACM. He co-founded the ISEC conference in India, and serves on the executive committee of the Special Interest Group on Software Engineering (SIGSE) in India. He co-founded the Mysore-Park workshop series in India.