Leadership

Sriram Rajamani is the Managing Director of the Microsoft Research India Lab in Bangalore. He is a distinguished researcher, whose career has spanned various areas in computer science, ranging from hardware and software verification, and programming language design, to distributed systems, security and privacy, cloud security and probabilistic programming.

Prior to moving to Microsoft Research’s India lab, he was managing the Software Productivity Tools group at the Microsoft Research lab in Redmond. He has also worked as a programmer writing telecommunication software and electronic design automation software. His first-hand experience in the realities of commercial software development guides his choice of problems and approaches to research in software productivity.

Sriram holds the position of an Adjunct Professor at the Indian Institute of Technology, Hyderabad and serves on the editorial board of the Communications of the Association for Computing Machinery (CACM). He is the cofounder of the Innovations in Software Engineering Conference (ISEC) in India, and serves on the executive committee of the Special Interest Group on Software Engineering (SIGSE) in India. His interest in the Computer Science research community activities in India, made him co-found the Mysore-Park workshop series in India.

Sriram holds a bachelor’s degree in Computer Science from Anna University College of Engineering at Chennai, India, a master’s degree in Computer Science from the University of Virginia, USA, and a Ph.D. in Computer Science from the University of California at Berkeley, USA. Sriram has also been elected ACM fellow for work that pushed the state-of-art in formal verification and improved Windows reliability.