Prof Sriram Rajamani is a part of the Academic Advisory Board of Plaksha University. He 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.
Prof Rajamani holds the position of 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 co-founder 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 computer science research community activities in India led him to co-found the Mysore-Park workshop series in India. Prof Rajamani has also been elected ACM Fellow for work that pushed the state of the art in formal verification and improved Windows reliability.
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.