External Collaborators

  • Amal Ahmed (Northeastern University) 
  • Ekin Akkus (MPI-SWS) 
  • Matthias Blume (Google Chicago) 
  • James Cheney (Edinburgh University) 
  • Andy Cotter (Toyota Technological Institute) 
  • Matthew Fluet (Rochester Institute of Technology) 
  • Deepak Garg (MPI-SWS)
  • Benoit Hudson (Autodesk) 
  • Alex Ihler (University of California at Irvine) 
  • Paul Levy (University of Birmingham) 
  • Ruy Ley-Wild (IMDEA) 
  • Rupak Majumdar (MPI-SWS) 
  • Ramgopal Mettu (Tulane University) 
  • Roly Perera (University of Birmingham) 
  • Rodrigo Rodrigues (University of Lisbon) 
  • Kanat Tangwongsan (IBM)
  • Viktor Vafeiadis (MPI-SWS) 
  • Alexander Wieder (MPI-SWS)