Steve Zdancewic chair |
University of Pennsylvania |
Tjark Weber |
Uppsala University |
Yuting Wang |
Shanghai Jiao Tong University - John Hopcroft Center for Computer Science |
Viktor Vafeiadis |
MPI-SWS |
Josef Urban |
Czech Technical University in Prague |
Amin Timany |
Aarhus University |
René Thiemann |
University of Innsbruck |
Aaron Stump |
The University of Iowa |
Anna Slobodova |
Intel |
Kazuhiko Sakaguchi |
Inria |
Cody Roux |
AWS |
Christine Rizkallah |
University of Melbourne |
Clément Pit-Claudel |
EPFL / AWS |
Brigitte Pientka chair |
McGill University |
Anja Petković Komel |
TU Wien |
Pierre-Marie Pédrot |
Inria |
Lawrence Paulson |
University of Cambridge |
Tobias Nipkow |
Technische Universität München |
César Muñoz |
Amazon Web Services |
Leonardo de Moura |
Microsoft Research |
Kenji Maillard |
Inria Rennes |
Yoonseung Kim |
Yale University |
Marie Kerjean |
CNRS |
Chantal Keller |
LMF, University Paris-Saclay |
Chris Hawblitzel |
Microsoft Research |
Elsa Gunter |
University of Illinois at Urbana-Champaign |
Stephane Graham-Lengrand |
SRI International |
Milos Gligoric |
The University of Texas at Austin |
Yannick Forster |
Inria Nantes |
Denis Firsov |
Talinn University of Technology/GuardTime |
Xinyu Feng |
Nanjing University |
Ranald Clouston |
Australian National University |
Koen Claessen |
Chalmers University of Technology |
Tej Chajed |
VMware Research |
Reynald Affeldt |
National Institute of Advanced Industrial Science and Technology (AIST) |