| Name | Affiliation |
|---|---|
| Chandrakana Nandi | Certora |
| Alexa VanHattum | Cornell University |
| Mangpo Phothilimthana | Google Brain |
| Leonardo de Moura | Microsoft Research |
| Nadia Polikarpova | University of California, San Diego |
| Andrew Reynolds | University of Iowa |
| Max Willsey chair | University of Washington |
| Yisu Wang | University of Washington |
| Zachary Tatlock chair | University of Washington |