ABSTRACT
Founded in 2005, Microsoft Research India just turned 12 years old. Their work spans 4 areas: (1) Algorithms, data science and theory, (2) machine learning and AI, (3) systems including programming languages, security, privacy and networking, and (4) technology for socio-economic development. Dr. Rajamani will give an overview of Microsoft Research India’s people and research, and explain a couple of systems projects (in the area of security and privacy) in some detail.
Career opportunities at MSR India will also be presented; students are encouraged to apply!
BIO
Dr. Sriram Rajamani is the 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.
