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