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 |