Steering Committee CPP

Lennart Beringer

Princeton University

United States

Sandrine Blazy

University of Rennes

France

Adam Chlipala

Massachusetts Institute of Technology

United States

Georges Gonthier

Inria

Cătălin Hriţcu Steering Committee Chair

MPI-SP

Germany

Gerwin Klein

Proofcraft 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

Amin Timany

Aarhus University

Denmark

Dmitriy Traytel

University of Copenhagen

Denmark

Steve Zdancewic

University of Pennsylvania

United States