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