Kavi Gupta

PhD student, EECS, Massachussets Institute of Technology
Joined
November 2018

Names

Kavi Gupta (Preferred)

Emails

****@berkeley.edu (Confirmed)
, 
****@mit.edu (Confirmed)

Personal Links

Career & Education History

PhD student
EECS, Massachussets Institute of Technology (mit.edu)
2020 – Present
MS student
University of California Berkeley (berkeley.edu)
2019 – 2020
Undergrad student
University of California Berkeley (berkeley.edu)
2015 – 2019

Advisors, Relations & Conflicts

PhD Advisor
Armando Solar-Lezama
2020 – Present
Coauthor
Kate Sanders
2025 – 2025
Coauthor
Osbert Bastani
2022 – 2025
Coauthor
Chenxi Yang
2024 – 2024
Undergraduate Research Advisor
Dawn Song
2018 – 2020

Expertise

Program Synthesis
2018 – Present

Publications

Co-Authors