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