Adam Chlipala |
MIT (USA) |
Akimasa Morihata |
University of Tokyo |
Alejandro Russo |
Chalmers University of Technology (Sweden) |
Aleksandar Nanevski |
IMDEA Software Institute |
Amal Ahmed |
Northeastern University (USA) |
Amr Sabry |
Indiana University |
Andreas Rossberg |
Google (Germany) |
Andres Löh |
Well-Typed LLP |
Arthur Chargueraud |
Inria |
Ben Lippmeier |
Vertigo Technology |
Benjamin C. Pierce |
University of Pennsylvania |
Beta Ziliani |
FAMAF / CONICET |
Bruno Oliveira |
University of Hong Kong |
Conor McBride |
University of Strathclyde |
Dan Grossman |
University of Washington |
Daniel Licata |
Wesleyan University |
David Van Horn |
University of Maryland at College Park, USA |
David Walker |
Princeton University |
Derek Dreyer |
MPI-SWS |
Dimitrios Vytiniotis |
Microsoft Research |
Dominique Devriese |
KU Leuven |
Eijiro Sumii chair |
Tohoku University |
Francois Pottier |
Inria |
Geoffrey Mainland |
Drexel University |
Georg Neis |
MPI-SWS, Germany |
James Cheney |
University of Edinburgh |
Jeremy Gibbons |
Department of Computer Science, University of Oxford |
Joshua Dunfield |
University of British Columbia (Canada) |
Jurriaan Hage |
Department of Information and Computing Sciences, Utrecht University |
Katsuhiro Ueno |
Tohoku University |
Kazutaka Matsuda |
Tohoku University |
Keisuke Nakano |
The University of Electro-Communications |
Kent Dybvig |
Cisco Systems, Inc. and Indiana University |
Koen Claessen |
Chalmers University of Technology |
Lars Bergstrom |
Mozilla |
Lars Birkedal |
Aarhus University |
Matthew Flatt |
University of Utah, USA |
Matthew Fluet |
Rochester Institute of Technology |
Matthew Might |
University of Utah |
Matthias Blume |
Google (USA) |
Meng Wang |
University of Kent |
Mike Rainey |
Inria |
Nate Foster |
Cornell University |
Neelakantan Krishnaswami |
University of Birmingham |
Nicolas Wu |
University of Bristol, UK |
Nikhil Swamy |
Microsoft Research |
Nobuko Yoshida |
Imperial College London |
Olin Shivers |
Northeastern University |
Peter Sewell |
University of Cambridge |
Pierre Geneves |
CNRS |
Ralf Hinze |
Radboud University Nijmegen |
Roman Leshchinskiy |
|
Ryan Newton |
Indiana University (USA) |
Sam Lindley |
University of Edinburgh |
Sam Tobin-Hochstadt |
Indiana University, USA |
Scott Owens |
University of Kent |
Sebastian Fischer |
University of Kiel |
Simon Marlow |
Facebook |
Simon Peyton Jones |
Microsoft Research Cambridge |
Stefan Holdermans |
Vector Fabrics |
Sungwoo Park |
POSTECH |
Suresh Jagannathan |
Purdue University (USA) |
Tiark Rompf |
Purdue University |
Tim Sheard |
Portland State University |
Tom Schrijvers |
KU Leuven |
Walid Taha |
Halmstad University, Rice Univeristy |
Zhenjiang Hu |
National Institute of Informatics |