Steering Committee ICFP 2021

Andrej Bauer

University of Ljubljana

Slovenia

Adam Chlipala

Massachusetts Institute of Technology

United States

Derek Dreyer Chair

MPI-SWS

Germany

Ronald Garcia

University of British Columbia

Jeremy Gibbons

Department of Computer Science, University of Oxford

United Kingdom

Alan Jeffrey

Roblox

United States

Ranjit Jhala

University of California at San Diego

Shin-Cheng Mu

Academia Sinica, Taiwan

Jens Palsberg

University of California, Los Angeles

François Pottier

Inria, France

France

Andreas Rossberg

Dfinity Stiftung

Germany

Sukyoung Ryu

KAIST

South Korea

Ilya Sergey

Yale-NUS College; National University of Singapore

Singapore

Mary Sheeran

Chalmers

Nikhil Swamy

Microsoft Research

United States

Sam Tobin-Hochstadt

Indiana University

Stephanie Weirich

University of Pennsylvania

United States