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