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

CSIRO's Data61 and UNSW Sydney

Australia

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Dale Miller

Inria, France / École Polytechnique, France

France

Tobias Nipkow

Technische Universität München

Andrei Popescu

University of Sheffield

United Kingdom

Zhong Shao

Yale University

United States

Steve Zdancewic

University of Pennsylvania

United States