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