Lab members

Collaborators

At EPFL:

  • Volkan Cevher, Laboratory for Information and Inference Systems (LIONS)
  • Viktor Kuncak, Laboratory for Automated Reasoning and Analysis (LARA)
  • Nicola Marzari, Laboratory of Theory and Simulation of Materials (THEOS)
  • Martin Odersky, Programming Methods Laboratory (LAMP)

External:

  • Yanif Ahmad, Department of Computer Science, Johns Hopkins University
  • Nate Foster, Department of Computer Science, Cornell University
  • Johannes Gehrke, Microsoft
  • Oliver Kennedy, Department of Computer Science and Engineering, University at Buffalo
  • Andrew Myers, Department of Computer Science, Cornell University
  • Dan Olteanu, Department of Computer Science, University of Oxford
  • Immanuel Trummer, Department of Computer Science, Cornell University