Skip to main content Accessibility help
×
Home
Editorial board
Editors-in-Chief

Derek Dreyer, MPI-SWS, Saarland Informatics Campus E1.5, 66123|Saarbruecken, Germany|

Jeremy Gibbons, University of Oxford|Department of Computer Science |Wolfson Building |Oxford, OX1 3QD, UK

Editors

Amal Ahmed, University of Chicago|Crerar Library 345|University of Chicago|5730S Ellis Ave|Chicago

Kenichi Asai, Dept. of Information Science|Ochanomizu University|2-1-1, Otsuka, Bunkyo-ku|Tokyo 112-8610|Japan

Edwin Brady, School of Computer Science|Jack Cole Building|St. Andrews University|North Haugh|St Andrews, Fife KY16 9SX|UK

James Cheney, University of Edinburgh, UK

Dominique Devriese

Derek Dreyer, MPI-SWS, Campus E1.5|66123 Saarbruecken|Germany

Jean-Christophe Filliâtre, CNRS / INRIA Saclay - Île-de-france - ProVal |Parc Orsay Université, bâtiment N |4, rue Jacques Monod |91893 Orsay Cedex |France

Robby Findler, EECS, Northwestern University|2233 Tech Drive, Mudd Room 3502 |Evanston, IL 60208-3109|USA

Ron Garcia

Gabriele Keller, Utrecht University|Buys Ballotgebouw|Princetonplein 5|Kamer|3584 CC Utrecht

Sam Lindley, University of Edinburgh, UK

Frank Pfenning, School of Computer Science |Carnegie Mellon University |Pittsburgh, PA 15213-3891|U.S.A.

Brigitte Pientka, Ville-Marie, |Montreal, QC, |Canada

François Pottier, Inria Paris - Rocquencourt, France|

Mike Sperber, Pappelweg 2|D-72076 Tübingen|Germany

Dr Eijiro Sumii, Tohoku University|Graduate School of Information Sciences|Japan

Nicolas Wu, University of Bristol|Faculty of Engineering|Merchant Venturers Building,|Woodland Road|Clifton BS8 1UB|UK

Functional Pearl Editor

Ralf Hinze, Technische Universität Kaiserslautern, Germany

PhD Abstract Editor

Graham Hutton, University of Nottingham, UK

Education Editor

Shriram Krishnamurthi, Brown University, USA

Tutorials Editor

Peter Thiemann, University of Freiburg, Germany

Social Media Editor

Liam O'Connor, University of Edinburgh, UK

Book Review Editor

Norman Ramsey, Tufts University, USA

Editorial Board

Nick Benton, Facebook, USA

Ravi Chugh, Northeastern University, USA

Fritz Henglein, University of Copenhagen, Denmark