| Name | Affiliation |
|---|---|
| Chandrakana Nandi | Certora |
| Alexa VanHattum | Cornell University |
| Philip Zucker | Draper Laboratory |
| Samuel Coward | Imperial College London, UK |
| Thomas Koehler | INRIA |
| Nadia Polikarpova | University of California, San Diego |
| Max Willsey chair | University of Washington |
| Zachary Tatlock chair | University of Washington |