Sriram Rajamani

Assistant Managing Director                                                Microsoft Research India                                                       Microsoft Corp.

Sriram's research interests are in programming languages, programming tools and software productivity. 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. Sriram’s recent research interests include building new programming tools by combining verification testing, and statistics, and designing new programming models for concurrent and distributed systems, and designing programming languages and analysis techniques to enable widespread use of machine learning by non-experts. 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."

At Microsoft Research India, Sriram serves as area champion for two research areas: (1) Programming Languages and Tools and (2) Security and Privacy.

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, 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 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, and serves as chair of its scientific board.