Program committee



Name Affiliation
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)