Aditya Kanade
Senior Principal Researcher
About
I am a senior 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 developing generative AI models and solutions to reliably automate software engineering and end-user tasks.
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.