Amal Ahmed |
|
Andreas Rossberg |
|
Marco Gaboardi |
Boston University |
Xavier Leroy |
Collège de France and Inria |
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) |
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 |