| Aditya V. Thakur | University of California, Davis |
| Alastair Reid | Intel Inc |
| Alex Sanchez-Stern | UMass Amherst |
| Anders Miltner | Simon Fraser University |
| Anders Møller | Aarhus University |
| Andres Erbsen | Google |
| Arjun Guha | Northeastern University and Roblox |
| Arjun Radhakrishna | Microsoft |
| Aseem Rastogi | Microsoft Research |
| Aws Albarghouthi | AWS and University of Wisconsin–Madison |
| Ben Hardekopf | UC Santa Barbara |
| Ben Livshits | Imperial |
| Ben Titzer | CMU |
| Caleb Stanford | University of California, Davis |
| Chandrakana Nandi | Certora Inc. |
| Chen Ding | University of Rochester |
| Chenglong Wang | Microsoft Research |
| Christian Wimmer | Oracle Labs |
| Cindy Rubio-Gonzalez | University of California, Davis |
| Clement Pit-Claudel | EPFL |
| Colin Gordon | Drexel University |
| Constantin Enea | Ecole Polytechnique, France |
| Corina Pasareanu | NASA Ames and Carnegie Mellon University |
| David Darais | Galois |
| David Walker | Princeton University |
| Deian Stefan | UC San Diego |
| Di Wang | Peking University |
| Drew Zagieboylo | Northeastern University |
| Emina Torlak | Amazon Web Services |
| Eric Koskinen | Stevens Institute of Technology |
| Erik Meijer | Meta |
| Gail Kaiser | Columbia University |
| Grigore Rosu | University of Illinois, Urbana-Champaign |
| Guilherme Ottoni | Meta |
| Gustavo Petri | Amazon Automated Reasoning Group |
| Hakjoo Oh | Korea University |
| Hongjin Liang | Nanjing University |
| Iulian Neamtiu | NJIT |
| Jaejin Lee | Seoul National University |
| James Bornholt | University of Texas at Austin |
| Jay Ligatti | University of South Florida |
| Jean-Baptiste Tristan | AWS |
| Jeehoon Kang | KAIST |
| Jeff Huang | Texas A&M University and Stanford University |
| Jens Palsberg | University of California, Los Angeles (UCLA) |
| Jeremy G. Siek | Indiana University |
| Jingling Xue | UNSW Sydney |
| John Regehr chair | University of Utah, USA |
| John Sarracino | Lawrence Livermore National Laboratory |
| John Wickerson | Imperial College London |
| JohnAlt Regehr chair | utah |
| JohnAlt2 Regehr chair | |
| Jonathan Balkind | UC Santa Barbara |
| Joonwon Choi | Apple |
| Jorge A. Navas | Certora |
| Jose Fragoso Santos | INESC-ID; University of Lisbon |
| Justin Gottschlich | Merly and Stanford |
| Kapil Vaswani | Azure Research |
| Klaus v. Gleissenthall | Vrije Universiteit Amsterdam |
| Koushik Sen | UC Berkeley |
| Kwangkeun Yi | Seoul National University |
| Limin Jia | Carnegie Mellon University |
| Louis-Noel Pouchet | Colorado State University |
| Luís Pina | University of Illinois Chicago |
| Madhusudan Parthasarathy | University of Illinois, Urbana-Champaign |
| Magnus Madsen | Aarhus University |
| Magnus O. Myreen | Chalmers University of Technology |
| Malavika Samak | Apple Inc. |
| Marc Brockschmidt | Google DeepMind |
| Mark Batty | University of Kent |
| Martin Hirzel | IBM |
| Matthew Flatt | University of Utah |
| Matthias Hauswirth | Università della Svizzera italiana |
| Michael Emmi | AWS |
| Michael Greenberg | Stevens Institute of Technology |
| Michaël Marcozzi | Université Paris-Saclay, CEA, List |
| Milind Kulkarni chair | Purdue |
| Mukund Raghothaman | University of Southern California |
| Murali Vijayaraghavan | Google Research |
| Murali Krishna Ramanathan | AWS AI Labs |
| Nada Amin | Harvard |
| Nadia Polikarpova | UC San Diego |
| Neel Krishnaswami | University of Cambridge |
| Neville Grech | Dedaub |
| Nikhil Swamy | Microsoft Research |
| Niki Vazou | IMDEA Software Institute |
| Nobuko Yoshida | University of Oxford |
| Owen Arden | UC Santa Cruz |
| Patrick Lam | University of Watreloo |
| Peter Müller | ETH Zurich |
| Peter Ohmann | College of St. Benedict / St. John's University |
| Peter-Michael Osera | Grinnell College |
| Qirun Zhang | Georgia Institute of Technology |
| Rob Sison | UNSW Sydney |
| Robert Rand | University of Chicago |
| Ronald Garcia | University of British Columbia |
| Ronghui Gu | Columbia University |
| Ruben Martins | Carnegie Mellon University |
| Santosh Nagarakatte | Rutgers University |
| Sarah E. Chasins | UC Berkeley |
| Sasa Misailovic | University of Illinois Urbana-Champaign |
| Shaz Qadeer | Meta |
| Shoaib Kamil | Adobe |
| Shuvendu K. Lahiri | Microsoft Research |
| Sophia Drossopoulou | Imperial College London |
| Sreepathi Pai | University of Rochester |
| Stephen Chang | UMass Boston |
| Stephen Kell | King's College London |
| Steve Blackburn | Google and Australian National University |
| Sukyoung Ryu | KAIST |
| Suresh Jagannathan | Purdue University |
| Swarnendu Biswas | Indian Institute of Technology Kanpur |
| Tachio Terauchi | Waseda University |
| Tahina Ramananandro | Microsoft Research |
| Tej Chajed | UW-Madison |
| ThanhVu (Vu) Nguyen | George Mason University |
| Thodoris Sotiropoulos | ETH Zurich |
| Thomas Bourgeat | EPFL |
| Timon Gehr | ETH Zurich |
| Tongping Liu | ByteDance Inc. and UMass Amherst |
| Tyler Sorensen | UC Santa Cruz |
| Umut Acar | Carnegie Mellon University |
| V. Krishna Nandivada | Professor, IIT Madras |
| Vijay Ganesh | GeorgiaTech |
| Vijay Nagarajan | University of Utah |
| Walter Binder | Università della Svizzera italiana (USI) |
| Woosuk Lee | Hanyang University |
| Xavier Rival | INRIA/CNRS/Ecole Normale Supérieure de Paris |
| Xiaodi Wu | University of Maryland, College Park |
| Xiaokang Qiu | Purdue University |
| Xipeng Shen | North Carolina State University |
| Xujie Si | University of Toronto |
| Yao Li | Portland State University |
| Yatin A. Manerkar | University of Michigan |
| Yizhou Zhang | University of Waterloo |
| Yuepeng Wang | Simon Fraser University |
| Zachary Tatlock chair | University of Washington |
| Zheng Zhang | Rutgers University |
| Zhiqiang Zuo | Nanjing University, China |