Program committee



Name Affiliation
Sean McDirmid Y Combinator Research
Ruzica Piskac Yale University
James Noble Victoria University of Wellington
Matthias Hauswirth USI
Andrew Ko University of Washington
Ravi Chugh chair University of Chicago
Cyrus Omar University of Chicago
Brian Hempel University of Chicago
Luke Church University of Cambridge
Jonathan Edwards chair unaffiliated
Philip Guo UC San Diego
Elena Glassman UC Berkeley
Hidehiko Masuhara Tokyo Tech
Roly Perera chair The Alan Turing Institute
Henry Lieberman Research Scientist
Jun Kato National Institute of Advanced Industrial Science and Technology (AIST)
Richard Gabriel IBM Research
Toby Schachman Dynamicland
Tijs van der Storm CWI
Robert Hirschfeld