Sriram Rajamani is Assistant Managing Director of Microsoft Research India.

In addition, Sriram leads the Rigorous Software Engineering (RSE) group in Microsoft Research India. The RSE group does research in improving productivity by bringing rigor to all aspects of software development. Sriram's research interests are in programming languages and programming tools. Several of his projects have had influence in both academia and industry, the most notable one being the SLAM project, which is the basis for Microsoft's Static Driver Verifier.

Prior to moving to the India lab, Sriram was most recently 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. In a previous life Sriram has worked as a programmer for over 5 years writing telecommunication software (for Syntek Inc) and electronic design automation software (for Xilinx Inc). 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.