Sriram Rajamani is Managing Director of Microsoft Research India. His research interests are in designing, building and analyzing computer systems in a principled manner. Over the years he has worked on various topics including Hardware and Software Verification, Type Systems, Language Design, Distributed Systems, Security and Privacy, Cloud Security and Probabilistic Programming.
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.” Sriram was elected ACM Fellow in 2015 for contributions to software analysis and defect detection. Recently, Sriram has been elected Fellow of Indian National Academy of Engineering.
Sriram has a PhD from UC Berkeley, MS from University of Virginia and BEng from College of Engineering, Guindy, all with specialization in Computer Science. Sriram was general chair for POPL 2015 in India, and was program Co-Chair for CAV 2005. He co-founded the Mysore Park Series, and the ISEC conference series in India. He served on the CACM editorial board till recently.
PLEASE READ THE FOLOWING BEFORE SENDING ME EMAIL:
If you want to know about MSR India’s Research Fellow Program and how to apply see here.
If you want information about MSR India’s travel grant program please see MSR India’s webpage, and click on the “Academic Outreach” TAB. The page also shows how to apply for travel grants online.
If you want a job at MSR India please apply online.
Special request to parents: If your son or daughter wants a job or internship at MSR India, please ask them to apply online.