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