| Alexandra Bugariu |
Max Planck Institute for Software Systems (MPI-SWS) |
| Ben Greenman |
University of Utah |
| Cindy Rubio-Gonzalez chair |
University of California, Davis |
| Jorge A. Navas |
Certora |
| Luca Negrini |
Ca' Foscari University of Venice |
| Martin Schäf |
Amazon Web Services |
| Michaël Marcozzi |
Université Paris-Saclay, CEA, List |
| Natarajan Shankar |
SRI International |
| Quentin Stiévenart |
Université du Québec à Montréal |
| Raphaël Monat chair |
Inria & University of Lille |
| S. Tucker Taft |
AdaCore |
| Vesal Vojdani |
University of Tartu |
| Wenwen Wang |
University of Georgia |