| Name | Affiliation |
|---|---|
| Chandrakana Nandi | Certora Inc. and UW Seattle |
| Chris Fallin | F5 |
| Max Willsey chair | UC Berkeley |
| Philip Zucker | Draper Laboratory |
| Samuel Coward | Intel Corporation and Imperial College London, UK |
| Thomas Koehler | ICube Lab, CNRS, Université de Strasbourg |