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