Marco Gaboardi | Boston University |
Xavier Leroy | Collège de France and Inria |
Andreas Rossberg | Dfinity Foundation |
Shweta Shinde | ETH Zurich |
Jennifer Paykin | Galois Inc |
Marco Guarnieri | IMDEA Software Institute |
Tamara Rezk | INRIA Sophia-Antipolis |
Jonathan Protzenko chair | Microsoft Research |
Aastha Mehta | MPI-SWS (Germany) and UBC (Canada) |
Amal Ahmed | Northeastern University (USA) |
Andrew W. Appel | Princeton University |
Zoe Paraskevopoulou | Princeton University |
Santosh Nagarakatte | Rutgers University |
Chung-Kil Hur | Seoul National University |
Fraser Brown | Stanford University |
Deian Stefan chair | UC San Diego |
Nick Fitzgerald | Unaffiliated |
Conrad Watt | University of Cambridge |
Delphine Demange | Univ Rennes, Inria, CNRS, IRISA |
Ilya Sergey | Yale-NUS College and National University of Singapore |