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

Atsushi Igarashi

Kyoto University, Japan

Japan

Alan Jeffrey

Roblox

United States

Shin-Cheng Mu

Academia Sinica, Taiwan

Jens Palsberg

University of California, Los Angeles

Benjamin C. Pierce

University of Pennsylvania

François Pottier

Inria, France

France

Andreas Rossberg

Dfinity Stiftung

Germany

Sukyoung Ryu

KAIST

Mary Sheeran

Sam Tobin-Hochstadt

Indiana University

Stephanie Weirich

University of Pennsylvania

United States