Collaborators

  • Amal Ahmed (Indiana University) 
  • Ekin Akkus (MPI-SWS) 
  • Guy Blelloch (CMU) 
  • Matthias Blume (Google Chicago) 
  • James Cheney (Edinburgh University) 
  • Andy Cotter (Toyota Technological Institute) 
  • Matthew Fluet (Rochester Institute of Technology) 
  • Deepak Garg (MPI-SWS)
  • Robert Harper (CMU) 
  • 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 (University of Massachusetts at Amherst) 
  • Roly Perera (University of Birmingham) 
  • Rodrigo Rodrigues (MPI-SWS) 
  • Viktor Vafeiadis (MPI-SWS) 
  • Alexander Wieder (MPI-SWS) 
    		•