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