Name Affiliation
Adam Chlipala MIT CSAIL
Alan Jeffrey Mozilla Research
Alexandra Silva University College London
Ben Lippmeier Digital Asset
Beta Ziliani CONICET and FAMAF, Universidad Nacional de Córdoba
Chung-Kil Hur Seoul National University
Dan Licata Wesleyan University
Dominique Devriese KU Leuven
Gabriel Scherer Northeastern University
Graham Hutton University of Nottingham
John Hughes Chalmers University of Technology
Kathryn Gray University of Cambridge
Lindsey Kuper Intel Labs
Mark Jones (chair) Portland State University
Martin Erwig Oregon State University
Matthew Flatt University of Utah
Nicolas Wu University of Bristol
Nikhil Swamy Microsoft Research
Ranjit Jhala University of California, San Diego
Robert Atkey University of Strathclyde
Ronald Garcia University of British Columbia
Sam Tobin-Hochstadt Indiana University
Shin-ya Katsumata National Institute of Informatics