| 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 |