Steering Committee CPP

Zhong Shao Steering Committee Chair

Yale University

June Andronick

CSIRO's Data61 and UNSW

Australia

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Adam Chlipala

Massachusetts Institute of Technology

United States

Amy Felty

University of Ottawa

Canada

Georges Gonthier

Inria

Cătălin Hriţcu

MPI-SP

Germany

Gerwin Klein

CSIRO's Data61 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