ICFP Papers and Events ICFP Papers and Events

Brigitte Pientka PC Chair

McGill University

Canada

Gabriele Keller Associate Chair

Utrecht University

Netherlands

Neel Krishnaswami Associate Chair

University of Cambridge

United Kingdom

Beniamino Accattoli

Inria & Ecole Polytechnique

France

Robert Atkey

University of Strathclyde

Patrick Bahr

IT University of Copenhagen

Denmark

Jacques Carette

McMaster University

Canada

Laura M. Castro

University of A Coruña

Spain

Arthur Charguéraud

Inria; Université de Strasbourg; CNRS; ICube

France

James Cheney

University of Edinburgh

United Kingdom

David Thrane Christiansen

Lean FRO, LLC

Denmark

Koen Claessen

Chalmers University of Technology

Sweden

Evelyne Contejean

Richard A. Eisenberg

Jane Street

United States

Martin Elsman

University of Copenhagen

Denmark

Jacques Garrigue

Nagoya University

Japan

Francesco Gavazzo

University of Pisa, Italy

Italy

Kesha Hietala

Amazon Web Services

United States

Ralf Hinze

Technische Universität Kaiserslautern

Thomas P. Jensen

INRIA Rennes

Ranjit Jhala

University of California at San Diego

United States

Patricia Johann

Appalachian State University

Andrew Kennedy

Facebook London

United Kingdom

Ekaterina Komendantskaya

Heriot-Watt University and Southampton University

United Kingdom

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Lindsey Kuper

University of California, Santa Cruz

United States

Daan Leijen

Microsoft Research

United States

Daniel R. Licata

Wesleyan University

United States

Kenji Maillard

Inria

France

Stefan Monnier

Université de Montréal

Canada

Shin-Cheng Mu

Academia Sinica, Taiwan

Taiwan

Dominic Orchard

University of Kent; University of Cambridge

United Kingdom

Scott Owens

University of Kent, UK

United Kingdom

Zoe Paraskevopoulou

Ethereum Foundation

Greece

Frank Pfenning

Carnegie Mellon University, USA

Clément Pit-Claudel

EPFL

Switzerland

Jonathan Protzenko

Microsoft Azure Research

United States

Alejandro Russo

Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden

Sweden

Ryosuke Sato

Tokyo University of Agriculture and Technology

Japan

Chung-chieh Shan

Indiana University

United States

Filip Sieczkowski

Matthieu Sozeau

Inria

France

Michael Sperber

Active Group GmbH

Germany

Wouter Swierstra

Utrecht University, Netherlands

Netherlands

Joseph Tassarotti

New York University

United States

Katsuhiro Ueno

Niigata University

Japan

David Van Horn

University of Maryland

United States

Andrea Vezzosi

Well-Typed LLP

Meng Wang

University of Bristol

United Kingdom

Brent Yorgey

Hendrix College

United States

Nobuko Yoshida

University of Oxford

United Kingdom