External Review Committee ICFP Research Papers

Michael D. Adams Committee Member

University of Michigan

United States

Robert Atkey Committee Member

University of Strathclyde

Sheng Chen Committee Member

University of Louisiana at Lafayette

United States

James Cheney Committee Member

University of Edinburgh, UK

United States

Adam Chlipala Committee Member

Massachusetts Institute of Technology

United States

Evelyne Contejean Committee Member

Germán Andrés Delbianco Committee Member

IRIF - Université de Paris

France

Dominique Devriese Committee Member

Vrije Universiteit Brussel

Belgium

Richard A. Eisenberg Committee Member

Bryn Mawr College, USA

United States

Conal Elliott Committee Member

Target, USA

United States

Sebastian Erdweg Committee Member

JGU Mainz

Germany

Michael Greenberg Committee Member

Pomona College

Adrien Guatto Committee Member

IRIF, Université Paris Diderot

France

Jennifer Hackett Committee Member

University of Nottingham, UK

United Kingdom

Troels Henriksen Committee Member

University of Copenhagen, Denmark

Denmark

Chung-Kil Hur Committee Member

Seoul National University

Korea, South

Roberto Ierusalimschy Committee Member

PUC-Rio

Brazil

Ranjit Jhala Committee Member

University of California, San Diego

United States

Ralf Jung Committee Member

MPI-SWS

Germany

Ohad Kammar Committee Member

University of Edinburgh

United Kingdom

Oleg Kiselyov Committee Member

Hsiang-Shang ‘Josh’ Ko Committee Member

National Institute of Informatics, Japan

Taiwan

Ondřej Lhoták Committee Member

University of Waterloo

Canada

Dan Licata Committee Member

Wesleyan University

United States

Geoffrey Mainland Committee Member

Drexel University, USA

Simon Marlow Committee Member

Facebook

Akimasa Morihata Committee Member

University of Tokyo

Japan

Shin-Cheng Mu Committee Member

Academia Sinica, Taiwan

Guillaume Munch-Maccagnoni Committee Member

Inria

France

Kim Nguyễn Committee Member

University of Paris-Sud, France

Ulf Norell Committee Member

Gothenburg University

Sweden

Atsushi Ohori Committee Member

Tohoku University, Japan

Rex Page Committee Member

University of Oklahoma

Zoe Paraskevopoulou Committee Member

Princeton University

United States

Nadia Polikarpova Committee Member

University of California, San Diego

United States

Jonathan Protzenko Committee Member

Microsoft Research, Redmond

United States

Tiark Rompf Committee Member

Purdue University

United States

Andreas Rossberg Committee Member

Dfinity Stiftung

Germany

Konstantinos (Kostis) Sagonas Committee Member

Uppsala University, Sweden

Sweden

KC Sivaramakrishnan Committee Member

IIT Madras

India

Nicholas Smallbone Committee Member

Chalmers University of Technology, Sweden

Matthieu Sozeau Committee Member

Inria

France

Sandro Stucki Committee Member

Chalmers | University of Gothenburg

Sweden

Don Syme Committee Member

Microsoft

Zachary Tatlock Committee Member

University of Washington

United States

Sam Tobin-Hochstadt Committee Member

Indiana University

United States

Takeshi Tsukada Committee Member

University of Tokyo, Japan

Japan

Tarmo Uustalu Committee Member

Reykjavik University

Iceland

Benoit Valiron Committee Member

LRI, CentraleSupelec, Univ. Paris Saclay

France

Daniel Winograd-Cort Committee Member

Target Corp

United States

Nicolas Wu Committee Member

Imperial College London

United Kingdom