Steering Committee CPP

Sandrine Blazy

University of Rennes

France

Adam Chlipala

Massachusetts Institute of Technology

United States

Georges Gonthier

Inria

Cătălin Hriţcu

MPI-SP

Germany

Gerwin Klein

Proofcraft and UNSW Sydney

Australia

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

Kathrin Stark

Heriot-Watt University

United Kingdom

Nicolas Tabareau

Inria

France

Dmitriy Traytel

University of Copenhagen

Denmark

Yannick Zakowski

Inria

France