Program committee



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