MIT Programming Languages & Verification Group Alumni
Postdocs
Thomas Braibant
Duckki Oe
Antonis Stampoulis
PhD students
Gregory Malecha
Master's students
Stephan Boyer
Drew Haven
Patrick Hurst
Undergrads
Benjamin Barenblat
Samuel Duchovni
Patrick Hulin
Michael Kelessoglou
Scott Kovach
William Navarre
Jan Polasek
Pranjal Vachaspati
Edward Z. Yang
Tony Zhao
Others
Santiago Cuellar
Anish Dhar
Danny Gratzer
Thomas Grégoire
Ryan Kavanagh