| 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 |