Program Committee CPP

Sandrine Blazy PC Chair

University of Rennes

France

Nicolas Tabareau PC Chair

Inria

France

Lennart Beringer

Princeton University

United States

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Sylvie Boldo

Inria and Université Paris-Saclay

France

Ana de Almeida Borges

Portugal

Mario Carneiro

CMU

United States

Johan Commelin

University of Utrecht

Tom de Jong

University of Nottingham

United Kingdom

Daniel Frumin

University of Groningen

Netherlands

Jason Gross

MIT CSAIL

United States

Cezary Kaliszyk

University of Melbourne

Australia

Jeehoon Kang

KAIST

South Korea

Ekaterina Komendantskaya

Heriot-Watt University and Southampton University

United Kingdom

Nicolai Kraus

University of Nottingham

United Kingdom

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Ambroise Lafont

Ecole Polytechnique

France

Vincent Laporte

Inria

Robert Y. Lewis

Brown University

United States

William Mansky

University of Illinois Chicago

United States

Patrick Massot

Université Paris-Saclay

France

Micaela Mayero

LIPN, Université Paris 13

France

Yasuhiko Minamide

Tokyo Institute of Technology

Japan

Cesar Munoz

NASA

United States

Karl Palmskog

KTH Royal Institute of Technology

Sweden

Jennifer Paykin

Intel Labs

United States

Clément Pit-Claudel

EPFL

Switzerland

Damien Pous

CNRS

Jonathan Protzenko

Microsoft Azure Research

United States

Joseph Tassarotti

New York University

United States

Laura Titolo

AMA/NASA LaRC

United States

Conrad Watt

Nanyang Technological University

Singapore

Stephanie Weirich

University of Pennsylvania

United States

Irene Yoon

Inria

France