Steering Committee CPP

Cătălin Hriţcu Steering Committee Chair

MPI-SP

Germany

Sandrine Blazy

University of Rennes

France

Adam Chlipala

Massachusetts Institute of Technology

United States

Georges Gonthier

Inria

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

Zhong Shao

Yale University

United States

Amin Timany

Aarhus University

Denmark

Dmitriy Traytel

University of Copenhagen

Denmark

Steve Zdancewic

University of Pennsylvania

United States