Aditya Kanade
Principal Researcher
About
I am a principal researcher at Microsoft Research India. I am interested in all aspects of building trustworthy, scalable and intelligent systems. My research contributions have spanned the areas of artificial intelligence, formal methods, programming languages and software engineering. My current focus is on designing and using generative AI to automate software engineering. Before joining Microsoft Research, I was a full professor at the Indian Institute of Science (2009-2022). I also spent two years as a staff visiting researcher at Google Brain (2018-2020). I did postdoc at the University of Pennsylvania and PhD at IIT Bombay.