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