POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / CPP 2023 (series) / CPP 2023 /

Steering Committee CPP

Cătălin Hriţcu

Cătălin Hriţcu Steering Committee Chair

MPI-SP

Germany

Lennart Beringer

Lennart Beringer

Princeton University

United States

Jasmin Blanchette

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Adam Chlipala

Adam Chlipala

Massachusetts Institute of Technology

United States

small-avatar

Georges Gonthier

Inria

France

Gerwin Klein

Gerwin Klein

CSIRO's Data61 and UNSW Sydney

Australia

Robbert Krebbers

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Dale Miller

Dale Miller

Inria & École Polytechnique

France

Tobias Nipkow

Tobias Nipkow

Technische Universität München

Germany

Andrei Popescu

Andrei Popescu

University of Sheffield

United Kingdom

Zhong Shao

Zhong Shao

Yale University

United States

Steve Zdancewic

Steve Zdancewic

University of Pennsylvania

United States