Aditya Kanade

关于

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 to build language models and AI agents to transform how we build and use software. Reliability is a foundational requirement to let AI agents take decisions and actions on our behalf. I work towards improving reliability of agentic software through better reasoning and abstractions.

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.