Name | Affiliation |
---|---|
William J. Bowman | University of British Columbia |
Richard Eisenberg chair | Tweag |
Pierre-Marie Pédrot | Inria, France |
Niki Vazou | IMDEA Software Institute |
Leonardo de Moura | Microsoft Research |
Jesper Cockx chair | TU Delft |
András Kovács | Eötvös Loránd University, Budapest |
Aaron Stump | The University of Iowa |