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