| Steve Zdancewic |
University of Pennsylvania (USA) |
| Niki Vazou |
University of Maryland (USA) |
| Éric Tanter |
University of Chile |
| Peter Sewell |
University of Cambridge (UK) |
| Davide Sangiorgi |
University of Bologne and Inria (Italy) |
| Andreas Rossberg |
Google (Germany) |
| Michael Norrish |
Data61 and CSIRO (Australia) |
| Aleksandar Nanevski |
IMDEA Software Institute (Spain) |
| Xavier Leroy |
Inria Paris (France) |
| Naoki Kobayashi |
University of Tokyo (Japan) |
| Limin Jia |
Carnegie Mellon University (USA) |
| Suresh Jagannathan |
Purdue University (USA) |
| Catalin Hritcu |
Inria Paris |
| Jan Hoffmann |
Carnegie Mellon University (USA) |
| Fritz Henglein |
University of Copenhagen (Denmark) |
| Matthew Hammer |
University of Colorado Boulder (USA) |
| Philipp Haller |
KTH Royal Institute of Technology (Sweden) |
| Roberto Giacobazzi |
University of Verona (Italy) |
| Marco Gaboardi |
SUNY Buffalo (USA) |
| Dominique Devriese |
KU Leuven (Belgium) |
| Viviana Bono |
University of Torino (Italy) |
| Josh Berdine |
Facebook |
| Nick Benton |
Facebook (UK) |
| Jade Alglave |
University College London (UK) |
| Amal Ahmed chair |
Northeastern University (USA) |