Sriram K. Rajamani

Microsoft Research India

Bio

Sriram Rajamani is a Principal Researcher and Research Manager with Microsoft Research India, Bangalore.  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.  Prior to moving to the India lab, Sriram was most recently manager of the Software Productivity Tools group in Microsoft Research Redmond, where he lead several projects together with is wonderful colleagues ---SLAM and Static Driver Verifier, Behave! and Zing. 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.