Dr. Sriram Rajamani

Current Position

Corporate Vice President, Microsoft Research India

Academic Advisory Board, Plaksha University

 

 

 

 

 

 

 

 

Education

UC Berkeley (PhD Computer Science

University of Virginia (MS Computer Science) 

Anna University (BE Computer Science)

 

 

 

 

 

 

 

 

Bio

 

Sriram Rajamani is the Managing Director of the Microsoft Research India Lab in Bangalore. 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 has also been elected ACM fellow for work that pushed the state-of-art in formal verification and improved Windows reliability.

 

Research Interests:

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.