Steering Committee ICFP 2021

Zena M. Ariola

University of Oregon, USA

Adam Chlipala

Massachusetts Institute of Technology

United States

Derek Dreyer

MPI-SWS

Germany

Ronald Garcia

University of British Columbia

Jeremy Gibbons

Department of Computer Science, University of Oxford

United Kingdom

Simon Marlow

Facebook

Andreas Rossberg

Dfinity Stiftung

Germany

Sukyoung Ryu

KAIST

South Korea

Ilya Sergey

National University of Singapore

Singapore

Mary Sheeran

Chalmers

Nikhil Swamy

Microsoft Research

United States

Stephanie Weirich

University of Pennsylvania

United States

Andrej Bauer

University of Ljubljana

Slovenia

Jeffrey S. Foster

Tufts University

United States

Shin-Cheng Mu

Academia Sinica, Taiwan

Taiwan

François Pottier

Inria, France

France