Steering Committee CPP

Lennart Beringer

Princeton University

United States

Adam Chlipala

Massachusetts Institute of Technology

United States

Georges Gonthier

Inria

Cătălin Hriţcu Steering Committee Chair

MPI-SP

Germany

Gerwin Klein

CSIRO's Data61 and UNSW Sydney

Australia

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Dale Miller

INRIA Saclay and LIX/Institut Polytechnique de Paris

France

Tobias Nipkow

Technische Universität München

Brigitte Pientka

McGill University

Canada

Andrei Popescu

University of Sheffield

United Kingdom

Zhong Shao

Yale University

United States

Dmitriy Traytel

University of Copenhagen

Denmark

Steve Zdancewic

University of Pennsylvania

United States