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