Episode 008 | April 20, 2021 Microsoft Research India is constantly exploring how research can enable new technologies that positively impact the lives of people while also opening new frontiers in computer science and technology itself. In this podcast we speak to Dr. Sriram Rajamani (https://www.microsoft.com/en-us/research/people/sriram/), distinguished scientist and Managing Director of the Microsoft Research India Lab. We talk about some of the projects in the lab that are making fundamental changes to the computing at Internet scale, computing at the edge and the role he thinks technology should play in the future to ensure digital fairness and inclusion. Sriram also talks to us about a variety of things his own journey as a researcher, how the lab has changed from the time he joined it years ago, and his vision for the lab. Sriram’s 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. His current research interest is in combining Program Synthesis and Machine Learning. Together with Tom Ball, he was awarded the CAV 2011 Award (http://i-cav.org/cav-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 (http://www.acm.org/press-room/news-releases/2015/fellows-2015)in 2015 for contributions to software analysis and defect detection, and Fellow of  Indian National Academy of Engineering (https://www.inae.in/) in 2016. Sriram was general chair for POPL 2015 (http://popl.mpi-sws.org/2015/)in India, and was program Co-Chair for CAV 2005 (http://www.cav2005.inf.ed.ac.uk/). He co-founded the Mysore Park Series, (http://www.mysorepark.org.in/)and the ISEC conference series (http://isoft.acm.org/)in India. He serves on the CACM editorial board (http://cacm.acm.org/about-communications/editorial-board/) as co-chair for special regional sections, to bring computing innovations from around the world to CACM (https://cacm.acm.org/). Sriram has a PhD from UC Berkeley (http://eecs.berkeley.edu/), MS from University of Virginia (http://www.cs.virginia.edu/)and BEng from College of Engineering, Guindy (http://cs.annauniv.edu/), all with specialization in Computer Science. In 2020, he was named as a Distinguished Alumnus (https://www.aaceg.org/wp-content/uploads/2020/07/Distinguished-Alumni-2020-of-College-of-Engineering-Guindy.pdf) by College of Engineering, Guindy. For more information about the Microsoft Research India click here (https://www.microsoft.com/en-us/research/lab/microsoft-research-india/). Related Microsoft Research India Podcast: More podcasts from MSR India (https://www.microsoft.com/en-us/research/lab/microsoft-research-india/articles/) iTunes (https://feeds.blubrry.com/feeds/msrindiapodcast.xml): Subscribe and listen to new podcasts on iTunes Android (https://subscribeonandroid.com/feeds.blubrry.com/feeds/msrindiapodcast.xml)