| Name | Affiliation |
|---|---|
| Alastair Donaldson | Imperial College London |
| Bryan Parno | Carnegie Mellon University |
| Clément Pit-Claudel | EPFL |
| Jean-Baptiste Tristan | AWS ARG |
| Joseph Tassarotti | NYU |
| K Rustan M Leino | Amazon Web Services |
| Marie Farrell | The University of Manchester |
| Seth Ahrenbach | Beneficial AI Foundation |
| Stefan Zetzsche | Amazon Web Services |
| Tej Chajed | UW-Madison |