Program Committee CPP

Andrei Popescu PC Chair

University of Sheffield

United Kingdom

Steve Zdancewic PC Chair

University of Pennsylvania

United States

Mohammad Abdulaziz

Technische Universität München

Germany

Mauricio Ayala-Rincon

University of Brasília

Brazil

Andrej Bauer

University of Ljubljana

Slovenia

Thomas Bauereiss

University of Cambridge

Yves Bertot

INRIA

France

Lars Birkedal

Aarhus University

Sylvie Boldo

Inria and Université Paris-Saclay

France

Qinxiang Cao

Shanghai Jiao Tong University

China

Evelyne Contejean

Benjamin Delaware

Purdue University

United States

Simon Foster

University of York

United Kingdom

Alwyn Goodloe

NASA Langley Research Center

Armaël Guéneau

Aarhus University

John Harrison

Intel

Joe Hendrix

SRI International

Aquinas Hobor

Ralf Jung

MPI-SWS

Germany

Cezary Kaliszyk

University of Innsbruck

Jeehoon Kang

KAIST

South Korea

Hongjin Liang

Nanjing University

China

Gregory Malecha

BedRock Systems

United States

Toby Murray

University of Melbourne

Australia

Anders Mörtberg

Department of Mathematics, Stockholm University

Sweden

Zoe Paraskevopoulou

Northeastern University

United States

Brigitte Pientka

McGill University

Canada

Aseem Rastogi

Microsoft Research

India

Bas Spitters

Aarhus University

Denmark

Kathrin Stark

Princeton University, USA

United States

Hira Taqdees Syeda

Amazon Web Services

Germany

Joseph Tassarotti

Boston College

United States

Laura Titolo

NIA/NASA LaRC

United States

Sophie Tourret

Max Planck Institute for Informatics

Dmitriy Traytel

University of Copenhagen

Denmark

Freek Verbeek

Open University of the Netherlands, The Netherlands

Freek Wiedijk

Radboud University Nijmegen

Netherlands

Floris van Doorn

University of Pittsburgh

United States