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 |