Adam Chlipala |
MIT |
Adam Welc |
Oracle |
Alastair Donaldson |
Imperial College |
Alex Potanin chair |
Victoria University of Wellington |
Alex Summers |
ETH Zurich |
Craig Anslow chair |
Middlesex University |
Elisa Baniassad |
University of British Columbia |
Elisa Gonzalez Boix |
Vrije Universiteit Brussel |
Guido Salvaneschi |
TU Darmstadt |
Ilya Sergey |
UCL |
Judith Bishop |
University of Stellenbosch |
Julia Lawall |
Inria |
Matthew Hammer |
University of Colorado Boulder |
Matthias Hauswirth |
University of Lugano |
Michael Pradel |
TU Darmstadt |
Nada Amin |
EPFL |
Nick Sumner |
Simon Fraser University |
Paley Li |
Northeastern University |
Philipp Haller |
KTH Royal Institute of Technology |
Sarah Mount |
Kings College London |
Sebastian Erdweg |
TU Delft |
Stefan Marr |
Johannes Kepler University |