| Adam Chlipala | MIT |
| Aditya Thakur | University of California, Davis |
| Albert Cohen | Google DeepMind |
| Armando Solar-Lezama chair | Massachusetts Institute of Technology |
| Armando The POPL Chair chair | NONE |
| Artem Khyzha | Arm |
| Arthur Azevedo de Amorim | Rochester Institute of Technology |
| Azadeh Farzan | University of Toronto |
| Benjamin Kaminski | Saarland University and University College London |
| Caterina Urban | Inria & ENS | PSL |
| Christos Dimoulas | Northwestern University |
| Chung-chieh Shan | Indiana University |
| Clément Pit-Claudel | EPFL |
| Cormac Flanagan | UCSC |
| Cyrus Omar | University of Michigan |
| Damien Zufferey | Sonarsource |
| Danfeng Zhang | Duke University |
| Darko Marinov | University of Illinois Urbana-Champaign |
| David Darais | Galois |
| David Monniaux | CNRS |
| DIMITRIOS VYTINIOTIS | Google DeepMind |
| Eric Koskinen | Stevens Institute of Technology |
| Feras Saad | Carnegie Mellon University |
| Filippo Bonchi | University of Pisa |
| Frank Pfenning | Carnegie Mellon University |
| Fredrik Kjolstad | Stanford University |
| Gabriele Vanoni | Université Paris Cité |
| Garrett Morris | The University of Iowa |
| Gowtham Kaki | University of Colorado Boulder |
| Grigore Rosu | University of Illinois, Urbana-Champaign; Runtime Verification Inc; Pi Squared Inc |
| Hakjoo Oh | Korea University |
| Hsiang-Shang ‘Josh’ Ko | Academia Sinica |
| James Cheney | University of Edinburgh |
| Jan Hoffmann | Carnegie Mellon University |
| Jeffrey Foster | Tufts University |
| Jens Palsberg | University of California, Los Angeles (UCLA) |
| José Fragoso Santos | INESC-ID/University of Lisbon |
| Justin Hsu | Cornell University |
| Lauren Pick | The Chinese University of Hong Kong |
| Leonidas Lampropoulos | University of Maryland |
| Madhusudan Parthasarathy | University of Illinois at Urbana-Champaign |
| Magnus Myreen | Chalmers University of Technology |
| Margus Veanes | Microsoft Research |
| Matthew Parkinson | Azure Research, Microsoft |
| Matthijs Vákár | Utrecht University |
| Michael Emmi | Amazon Web Services |
| Mingsheng Ying | University of Technology Sydney |
| Mohamed Faouzi Atig | Uppsala University |
| Mukund Raghothaman | University of Southern California |
| Nadia Polikarpova | UCSD |
| Naoki Kobayashi | The University of Tokyo |
| Neville Grech | Dedaub |
| Oliver Bracevac | EPFL |
| Pavel Panchekha | University of Utah |
| Peisen Yao | Zhejiang University |
| Philiip Wadler | University of Edinburgh |
| Philipp Haller | KTH Royal Institute of Technology |
| Pierre Clairambault | CNRS and Aix-Marseille Université |
| Robert Atkey | University of Strathclyde |
| Roberta Gori | Diaprtimento di Informatica, Universita' di Pisa, Italy |
| Roland Meyer | TU Braunschweig |
| Ruzica Piskac | Yale |
| Ryan Beckett | Microsoft |
| Sarah Chasins | UC Berkeley |
| Satish Chandra | Google, Inc |
| Sharon Shoham | Tel Aviv University |
| Shaz Qadeer | Meta |
| Sheng Chen | UL Lafayette |
| Sorav Bansal | IIT Delhi |
| Steven Holtzen | Northeastern University |
| Tachio Terauchi | Waseda University |
| Tahina Ramananandro | Microsoft Research |
| Timon Gehr | ETH Zurich |
| Vasco T. Vasconcelos | University of Lisbon |
| Viktor Vafeiadis | MPI-SWS |
| Vladimir Zamdzhiev | Inria, LMF, ENS Paris-Saclay, Université Paris-Saclay |
| Woosuk Lee | Hanyang University |
| Xavier Leroy | Collège de France and Inria |
| Xavier Rival | INRIA Paris / ENS Paris |
| Xinyu Wang | University of Michigan |
| Yao Li | Portland State University |
| Zachary Kincaid | Princeton |
| Zhong Shao | Yale University |