Steering Committee CPP

Cătălin Hriţcu Steering Committee Chair

MPI-SP

Germany

Lennart Beringer

Princeton University

United States

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Adam Chlipala

Massachusetts Institute of Technology

United States

Georges Gonthier

Inria

Gerwin Klein

Proofcraft and UNSW Sydney

Australia

Assia Mahboubi

INRIA

France

Dale Miller

INRIA Saclay and LIX

France

Magnus O. Myreen

Chalmers University of Technology

Tobias Nipkow

Technische Universität München

Andrei Popescu

University of Sheffield

United Kingdom

Zhong Shao

Yale University

United States