Skip to main content Accessibility help
×
Home
Editorial board

Editors-in-Chief

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

Shriram Krishnamurthi, Brown University, Department of Computer Science, Providence, Rhode

Editors

Amal Ahmed, Northeastern University, USA

Kenichi Asai, Ochanomizu University, Japan

Edwin Brady, St. Andrews University, UK

James Cheney, University of Edinburgh, UK

Derek Dreyer, MPI-SWS, Germany

Jean-Christophe Filliâtre, CNRS, France

Robby Findler, Northwestern University, USA

Ron Garcia, University of British Columbia, Canada

Gabriele Keller, Utrecht University, Netherlands

Sam Lindley, University of Edinburgh, UK

Frank Pfenning, Carnegie Mellon University, USA

Brigitte Pientka, McGill University, Canada

Francois Pottier, Inria Paris - Rocquencourt, France

Mike Sperber, Active Group, Germany

Eijiro Sumii, Tohoku University, Japan

Eric Tanter, University of Chile, Chile

Nicolas Wu, Imperial College London, UK


Functional Pearl Editor

Ralf Hinze, Technische Universität Kaiserslautern, Germany

PhD Abstract Editor

Graham Hutton, University of Nottingham, UK

Commercial Uses Editor

Anil Madhavapeddy, University of Cambridge, Cambridge

Theoretical Pearl Editor

Andreas Abel, Chalmers University of Technology, Sweden

Education Editor

Shriram Krishnamurthi, Brown University, USA

Tutorials Editor

Peter Thiemann, University of Freiburg, Germany

Social Media Editor

Wouter Swierstra, Utrecht University, Netherlands

Book Review Editor

Norman Ramsey, Tufts University, USA

Editorial Board

Nick Benton, Facebook, UK

Atze Dijkstra, Standard Chartered, UK

Fritz Henglein, University of Copenhagen, Denmark

Mike Sperber, Active Group, Germany