| Alasdair Armstrong | University of Cambridge |
| Alex Renda | MIT CSAIL |
| Alvin Cheung | University of California, Berkeley |
| Amal Ahmed chair | Northeastern University (USA) |
| Ana Milanova | Rensselaer Polytechnic Institute |
| Andreas Rossberg | Dfinity Foundation |
| Aseem Rastogi | Microsoft Research |
| Atsushi Igarashi | Kyoto University |
| Aurèle Barrière | Univ Rennes, Inria, CNRS, IRISA |
| Aws Albarghouthi | University of Wisconsin-Madison |
| Ben Greenman | Brown University |
| Benjamin Lucien Kaminski | Saarland University, Saarland Informatics Campus; and University College London |
| Benno Stein | University of Colorado Boulder, Meta |
| Calvin Smith | University of Texas at Austin |
| Chandrakana Nandi | Certora |
| Chiké Abuah | UVM |
| Christos Dimoulas | Northwestern University |
| Chung-Kil Hur | Seoul National University |
| Constantin Enea | Ecole Polytechnique, LIX |
| Cristina Lopes | UC Irvine |
| Daming Zou | ETH Zurich |
| Daniel Patterson | Northeastern |
| Deepak Garg | Max Planck Institute for Software Systems |
| Delphine Demange | Univ Rennes, Inria, CNRS, IRISA |
| Dongjie He | School of Computer Science and Engineering, University of New South Wales Sydney |
| Emanuele D'Osualdo | MPI-SWS |
| Eric Atkinson | MIT |
| Ethan Cecchetti | University of Maryland |
| Fabian Muehlboeck | Institute of Science and Technology Austria |
| Felipe Bañados Schwerter | University of British Columbia |
| Gail Kaiser | Columbia University |
| Gowtham Kaki | University of Colorado Boulder |
| Hakjoo Oh | Korea University |
| He Zhu | Rutgers |
| Ifaz Kabir | University of Alberta |
| Jacques-Henri Jourdan | Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Jan Vitek chair | Northeastern University |
| Jay P. Lim | Yale University |
| Jérémie Koenig | Yale University |
| Jiasi Shen | MIT CSAIL |
| Jihyeok Park | Oracle Labs |
| John Sarracino | Cornell University |
| Karim Ali | University of Alberta |
| Kathryn S McKinley | Google |
| Khaled Ahmed | University of British Columbia |
| Kihong Heo | KAIST |
| Kirshanthan Sundararajah | Purdue University |
| Kristina Sojakova | INRIA |
| Lars Birkedal | Aarhus University |
| Lauren Pick | University of Wisconsin, Madison |
| Louis-Noel Pouchet | Colorado State University |
| Madhusudan Parthasarathy | University of Illinois at Urbana–Champaign |
| Mandana Vaziri | IBM Research |
| Martin Kellogg | University of Washington |
| Michael Coblenz | University of Maryland |
| Michele Chiari | Politecnico di Milano |
| Milind Kulkarni | Purdue |
| Mira Mezini chair | Technische Universität Darmstadt |
| Neel Krishnaswami | University of Cambridge |
| Neville Grech | University of Malta |
| Niki Vazou | IMDEA Software Institute |
| Nouraldin Jaber | Purdue University |
| Oded Padon | VMware Research |
| Oliver Bracevac | Purdue University |
| Osbert Bastani | University of Pennsylvania |
| Patrick Eugster | Università della Svizzera italiana (USI); TU Darmstadt; Purdue University |
| Peter Sewell | University of Cambridge |
| Philippa Gardner | Imperial College London |
| Pinjia He | Chinese University of Hong Kong, Shenzhen |
| Ralf Jung | Massachusetts Institute of Technology |
| Ranjit Jhala | University of California, San Diego |
| Raphaël Monat | LIP6, Sorbonne Université |
| Robbert Krebbers | Radboud University Nijmegen |
| Ryan Culpepper | CVUT |
| Ryan Kavanagh | McGill University |
| Samuel Gruetter | MIT |
| Shoaib Kamil | Adobe |
| Sidi Mohamed Beillahi | University of Toronto |
| Sophia Drossopoulou | Facebook and Imperial College London |
| Stefan Marr | University of Kent |
| Stephen Kell | King's College London |
| Suresh Jagannathan | Purdue University |
| Tachio Terauchi | Waseda University |
| Thomas Bourgeat | MIT CSAIL |
| Tristan Dyer | Brown University |
| Vesna Nowack | Lancaster University |
| Victor Nicolet | University of Toronto |
| Xinyu Wang | University of Michigan |
| Zhong Shao | Yale University |