Madhav Kanda

Hello! I am a fully funded M.S. Computer Science (Thesis Track) student at the University of Illinois Urbana-Champaign, where I am working with Prof. Sasa Misailovic. I earned my BTech with Honours in Computer Science and Engineering from IIT Gandhinagar.

My research lies at the intersection of programming languages, formal methods, and machine learning, with a focus on structured generation and reasoning in language models. My work explores grammar-constrained generation and verification techniques to improve the reliability and interpretability of AI systems. I have collaborated with academic institutions like Aalto University and IISc Bangalore, and contributed to applied research projects at Microsoft Research and Spyne.AI.

This summer, I am in Seattle working with Sharad Agarwal, Rodrigo Fonseca, Alok Kumbhare, and Pedro Las-Casas at Microsoft Research, Redmond — hit me up if you want to chat about cool topics!


Affiliations

IIT Gandhinagar

IIT Gandhinagar
2020-2024

UIUC

UIUC
2024-2026

Internships

Spyne Internship

Spyne.ai
2022

IISc Internship

Indian Institute of Science
2022

Aalto University Internship

Aalto University
2023

MSR Internship

MSR, Redmond
2025


News

May 2025
Selected for the Y Combinator's AI Startup School from among thousands of applicants.
May 2025
Started Research Internship at Microsoft Reseach, Redmond!
Aug 2024
Excited to start my second chapter as a Fully Funded MS CS student at UIUC!
Jun 2024
Awarded the Institute Gold Medal at IIT Gandhinagar for Outstanding Performance.
Feb 2024
Received an offer for the Caltech SURF program from Prof. Tapio Schneider in the CliMA group.
Feb 2024
Among the two students nominated by IIT Gandhinagar for the prestigious Pre-Doctoral Research Assistant Program at Microsoft Research India.
Jan 2024
Selected for Google Research Week 2024—exploring cutting-edge ML techniques with top experts.
Sep 2023
Selected for Amazon ML Summer School!
May 2023
Started my summer research internship at Aalto University in Finland.
Mar 2023
Among the 50 applicants selected for the Aalto University research program out of 1,600+ applicants across 84 countries.
Sep 2022
Awarded Academic Research Ranking 2 in the Computer Science and Engineering department at IIT Gandhinagar.
Aug 2022
Mentioned as a contributor in Dr. Kevin Murphy‘s Probabilistic Machine Learning: Advanced Topics book
May 2022
Started my summer research internship at Indian Institute of Science, Bengaluru.
Apr 2022
Awarded Indian Academy of Sciences Summer Research Fellowship.
Aug 2021
Awarded a branch change to the Computer Science and Engineering department for securing fourth rank among all BTech 2020 students.
Feb 2021
Secured Second Place out of eleven teams in Indusdev hackathon, a 42-hour long industrial hackathon held at IITGN