| Aarti Gupta | Princeton University |
| Ahmed Bouajjani | Université Paris Cité |
| Aina Niemetz | Stanford University |
| Alan J. Hu | University of British Columbia |
| Alberto Griggio | Fondazione Bruno Kessler |
| Alessandro Cimatti | Fondazione Bruno Kessler |
| Alexander Nadel | Technion & Intel |
| Alexander J. Summers | University of British Columbia |
| Alfons Laarman | Leiden University |
| Aman Goel | AWS |
| Anastasia Isychev | TU Wien |
| Anastasia Mavridou | KBR / NASA Ames Research Center |
| Anca Muscholl | LaBRI, Université Bordeaux, France |
| Andreas Pavlogiannis | Aarhus University |
| Andreas Podelski | University of Freiburg |
| Anna Lukina | TU Delft |
| Anne-Kathrin Schmuck | Max Planck Institute for Software Systems |
| Anthony Widjaja Lin | TU Kaiserslautern and Max-Planck Institute for Software Systems |
| Anton Wijs | Eindhoven University of Technology |
| Arie Gurfinkel | University of Waterloo |
| Armin Biere | University of Freiburg |
| Azadeh Farzan | University of Toronto |
| Barbara Jobstmann | Cadence Design Systems |
| Benjamin Kaminski | Saarland University and University College London |
| Bernd Finkbeiner | CISPA Helmholtz Center for Information Security |
| Bettina Könighofer | Graz University of Technology |
| Borzoo Bonakdarpour | Michigan State University |
| Burcu Kulahcioglu Ozkan | Delft University of Technology (TU Delft) |
| Cesar Sanchez | IMDEA Software Institute |
| Christoph Matheja | University of Oldenburg |
| Christoph M. Wintersteiger | Imandra |
| Clark Barrett | Stanford University |
| Claudia Cauli | Huawei Ireland Research Center |
| Corina Pasareanu | NASA Ames and Carnegie Mellon University |
| Cristina David | University of Bristol |
| Damien Zufferey | NVIDIA |
| Daniel Kroening | Amazon |
| Daniel Stan | Epita, ICube |
| Dirk Beyer | LMU Munich, Germany |
| Dominik Winterer | ETH Zurich |
| Đorđe Žikelić | Singapore Management University |
| Dorra Ben Khalifa | ENAC - University of Toulouse |
| Duc-Hiep Chu | Google Research |
| Elizabeth Polgreen | University of Edinburgh |
| Elvira Albert | Complutense U |
| Enrico Magnago | Amazon Web Services |
| Erika Abraham | RWTH Aachen University |
| Eva Darulova | Uppsala University |
| Gidon Ernst | LMU Munich |
| Guowen Xu | University of Electronic Science and Technology of China |
| Guy Amir | Cornell University |
| Guy Katz | The Hebrew University of Jerusalem |
| Hadar Frenkel | Bar Ilan University |
| Haoze Wu | Amherst College |
| Harald Ruess | Entalus, FL, USA |
| Hari Govind Vediramana Krishnan | University of Waterloo |
| Hazem Torfah | Chalmers |
| He Zhu | Rutgers |
| Hossein Hojjat | Tehran Institute of Advanced Studies |
| Ichiro Hasuo | National Institute of Informatics |
| Jana Hofmann | MPI-SP |
| Ji Guan | Institute of Software, Chinese Academy of Sciences |
| Jianan Yao | Amazon Web Services |
| Jingbo Wang | Purdue University |
| Joey Dodds | Amazon |
| Joost-Pieter Katoen | RWTH-Aachen University, Germany |
| Jorge A. Pérez | University of Groningen |
| Junkil Park | Aptos Labs |
| Kaushik Mallik | IMDEA Software Institute |
| Kedar Namjoshi | Bell Labs, Nokia |
| Kshitij Bansal | Google |
| Kyungmin Bae | POSTECH |
| Laura Kovacs | TU Wien |
| Magnus Myreen | Chalmers University of Technology |
| Marco Faella | University of Naples Federico II, Italy |
| Marieke Huisman | University of Twente |
| Mark Santolucito | Barnard College, Columbia University |
| Michael Emmi | Amazon Web Services |
| Mihaela Sighireanu | University Paris-Saclay, ENS Paris-Saclay, and CNRS, LMF, France |
| Mirco Giacobbe | University of Birmingham |
| Natasha Sharygina | University of Lugano |
| Nian-Ze Lee | National Taiwan University |
| Ning Luo | University of Illinois Urbana-Champaign |
| Ondrej Lengal | Brno University of Technology |
| Pablo Castro | Universidad Nacional de Río Cuarto - CONICET |
| Pavithra Prabhakar | Kansas State University |
| Peter Müller | ETH Zurich |
| Philipp Ruemmer | University of Regensburg |
| Qiaochu Chen | New York University |
| Qinxiang Cao | Princeton |
| Ravi Mangal | Colorado State University |
| Rayna Dimitrova | CISPA Helmholtz Center for Information Security |
| Roderick Bloem | Graz University of Technology |
| Ruzica Piskac chair | Yale |
| S. Akshay | IIT Bombay |
| S. Krishna | IIT Bombay |
| Sébastien Bardin | CEA List, Université Paris Saclay |
| Shaobo He | Amazon Web Services |
| Shibashis Guha | Tata Institute of Fundamental Research |
| Soham Chakraborty | TU Delft |
| Stefan Leue | University of Konstanz |
| Stefan Zetzsche | Amazon Web Services |
| Stephen F. Siegel | University of Delaware |
| Subhajit Roy | Indian Institute of Technology Kanpur |
| Sylvie Putot | Ecole Polytechnique |
| Tachio Terauchi | Waseda University |
| Tatjana Petrov | University of Trieste |
| Thomas Wahl | Trusted Science and Technology, Inc. |
| Tim King | Amazon |
| Timos Antonopoulos | Yale University |
| Tom van Dijk | University of Twente |
| Tomas Vojnar | Masaryk University, Faculty of Informatics |
| Vijay Ganesh | GeorgiaTech |
| Viktor Kunčak | EPFL, Switzerland |
| Wenxi Wang | The University of Virginia |
| William Hallahan | Binghamton University |
| Xi Zheng | Macquarie University |
| Yakir Vizel | Technion – Israel Institute of Technology |
| Yedi Zhang | National University of Singapore |
| Yu-Fang Chen | Academica Sinica |
| Yuting Wang | Shanghai Jiao Tong University |
| Yuxin Deng | East China Normal University |
| Yuyang Sang | Alibaba Cloud |
| Zvonimir Rakamaric chair | Amazon |