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