Zhenjiang Hu |
National Institute of Informatics |
Swarat Chaudhuri |
Rice University |
Suresh Jagannathan |
Purdue University |
Stephanie Weirich chair |
University of Pennsylvania |
Scott Owens |
University of Kent |
Sam Tobin-Hochstadt |
Indiana University |
Ryan R. Newton |
Indiana University |
Robert Atkey |
University of Strathclyde |
Robbert Krebbers |
Delft University of Technology |
Radu Grigore |
University of Kent |
Peter Selinger |
Dalhousie University |
Peter O'Hearn |
University College, London and Facebook |
Patricia Johann |
Appalachian State University |
Ori Lahav |
Tel Aviv University |
Noam Zeilberger |
University of Birmingham |
Nils Anders Danielsson |
University of Gothenburg |
Niki Vazou |
IMDEA |
Nikhil Swamy |
MSR Redmond |
Nicolas Tabareau |
INRIA |
Nate Foster |
Cornell University |
Michael D. Adams |
University of Utah |
Michael Greenberg |
Pomona College |
Michael Emmi |
SRI International |
Mayur Naik |
University of Pennsylvania |
Matthew Parkinson |
MSR Cambridge |
Matthew Hammer |
University of Colorado Boulder |
Martin Erwig |
Oregon State University |
Madhusudan Parthasarathy |
University of Illinois at Urbana–Champaign |
Justin Hsu |
University of Wisconsin--Madison |
June Andronick |
Proofcraft, UNSW and seL4 Foundation |
Jean-Philippe Bernardy |
University of Gothenburg |
Jan Hoffmann |
Carnegie Mellon University |
Jacques Garrigue |
Nagoya University |
Ilya Sergey |
Yale-NUS College and SoC, NUS |
Ichiro Hasuo |
National Institute of Informatics |
Hugo Herbelin |
INRIA |
Hongjin Liang |
Nanjing University |
Heather Miller |
Carnegie Mellon University |
Gavin Bierman |
Oracle Labs |
Gabriel Scherer |
INRIA Saclay |
Dominic Orchard |
University of Kent |
Dimitrios Vytiniotis |
DeepMind |
David Naumann |
Stevens Institute of Technology |
Danel Ahman |
INRIA |
Claudio Russo |
Dfinity |
Benjamin Delaware |
Purdue University |
Aws Albarghouthi |
University of Wisconsin–Madison |
Andrew Tolmach |
Portland State University |
Andreas Podelski |
University of Freiburg |
Andreas Abel |
Gothenburg University |
Alan Jeffrey |
Mozilla Research |
Aaron Stump |
The University of Iowa |