Program committee



Name Affiliation
Amin Timany Aarhus University
Anders Mörtberg Stockholm University
Andreas Lochbihler Digital Asset
Andrei Popescu chair University of Sheffield
Angeliki Koutsoukou-Argyraki University of Cambridge
Arthur Azevedo de Amorim Carnegie Mellon University
Brijesh Dongol University of Surrey
Catalin Hritcu chair MPI-SP
Christoph Weidenbach MPI-INF
Chung-Kil Hur Seoul National University
Cyril Cohen Inria
Damien Pous CNRS, ENS Lyon
Ekaterina Komendantskaya Heriot-Watt University
Floris van Doorn University of Pittsburgh
Freek Wiedijk Radboud University Nijmegen
Hongjin Liang Nanjing University
Ilya Sergey Yale-NUS College and National University of Singapore
Jesper Cockx TU Delft
Joachim Breitner DFINITY Foundation
Johannes Åman Pohjola Data61, CSIRO
Josef Urban Czech Technical University in Prague
June Andronick Proofcraft, UNSW and seL4 Foundation
Karl Palmskog KTH Royal Institute of Technology
Kathrin Stark Princeton University
Moa Johansson Chalmers University of Technology
Natarajan Shankar SRI International Computer Science Laboratory
Nils Anders Danielsson University of Gothenburg
Petar Maksimović Imperial College London
René Thiemann University of Innsbruck
Reynald Affeldt AIST
Robert Lewis Vrije Universiteit Amsterdam
Sam Owre SRI International
Shilpi Goel Centaur Technology, Inc
Tahina Ramananandro Microsoft Research
William Mansky University of Illinois at Chicago
Yannick Forster Saarland University
Yannick Zakowski Upenn then Inria