External Review Committee ICFP Program

Danel Ahman

University of Ljubljana

Slovenia

Aws Albarghouthi

University of Wisconsin-Madison, USA

Kenichi Asai

Ochanomizu University

Japan

Patrick Bahr

IT University of Copenhagen

Denmark

Stephanie Balzer

Carnegie Mellon University, USA

United States

Jean-Philippe Bernardy

University of Gothenburg, Sweden

Sandrine Blazy

Univ Rennes- IRISA

France

Benjamin Canou

Nomadic Labs

Giuseppe Castagna

CNRS - Université de Paris, France

France

Jesper Cockx

TU Delft

Netherlands

Youyou Cong

Tokyo Institute of Technology

Japan

Sebastian Erdweg

JGU Mainz

Germany

Ronald Garcia

University of British Columbia

Jennifer Hackett

University of Nottingham, UK

United Kingdom

Troels Henriksen

University of Copenhagen, Denmark

Denmark

Gabriele Keller

Utrecht University

Netherlands

Delia Kesner

IRIF, France / University of Paris Diderot, France

Shriram Krishnamurthi

Brown University, United States

Jan Midtgaard

University of Southern Denmark

Denmark

Andrey Mokhov

Jane Street

United Kingdom

J. Garrett Morris

University of Kansas, USA

United States

Stefan K. Muller

Carnegie Mellon University, USA

Rasmus Ejlers Møgelberg

IT University of Copenhagen

Denmark

Cyrus Omar

University of Michigan

United States

Dominic Orchard

University of Kent, UK

United Kingdom

Ivan Perez

NIA / NASA Formal Methods

Brigitte Pientka

McGill University

Juan Pedro Bolívar Puente

Independent Consultant, Sinusoidal Engineering

Germany

Norman Ramsey

Tufts University

United States

Christine Rizkallah

UNSW Sydney

Australia

Tiark Rompf

Purdue University

United States

Guido Salvaneschi

University of St. Gallen

Switzerland

Tom Schrijvers

KU Leuven

Chung-chieh Shan

Indiana University, USA

Vincent St-Amour

Northwestern University, USA

United States

Aaron Stump

The University of Iowa, USA

United States

Nicolas Tabareau

Inria

France

Ross Tate

Cornell University

United States

Dimitrios Vytiniotis

DeepMind

United Kingdom

John Wiegley

DFINITY

United States

Beta Ziliani

FAMAF, UNC and CONICET

Argentina

Leonardo de Moura

Microsoft Research, n.n.