Program Committee CPP

Cătălin Hriţcu Co-chair

MPI-SP

Germany

Andrei Popescu Co-chair

University of Sheffield

United Kingdom

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

June Andronick

CSIRO's Data61 and UNSW

Australia

Arthur Azevedo de Amorim

Carnegie Mellon University, USA

United States

Joachim Breitner

DFINITY Foundation

Germany

Jesper Cockx

TU Delft

Netherlands

Cyril Cohen

Université Côte d’Azur, Inria, France

Nils Anders Danielsson

University of Gothenburg, Chalmers University of Technology

Brijesh Dongol

University of Surrey

Yannick Forster

Saarland University

Germany

Shilpi Goel

Centaur Technology, Inc.

Chung-Kil Hur

Seoul National University, South Korea

Moa Johansson

Chalmers University of Technology

Sweden

Ekaterina Komendantskaya

Heriot-Watt University, UK

Angeliki Koutsoukou-Argyraki

University of Cambridge, Department of Computer Science and Technology

United Kingdom

Robert Y. Lewis

Vrije Universiteit Amsterdam

Netherlands

Hongjin Liang

Nanjing University, China

China

Andreas Lochbihler

Digital Asset

Switzerland

Petar Maksimović

Imperial College London, UK

William Mansky

University of Illinois at Chicago

United States

Anders Mörtberg

Department of Mathematics, Stockholm University

Sweden

Sam Owre

SRI International

United States

Karl Palmskog

KTH Royal Institute of Technology

Sweden

Damien Pous

CNRS

Tahina Ramananandro

Microsoft Research

United States

Ilya Sergey

Yale-NUS College and National University of Singapore

Singapore

Natarajan Shankar

SRI International, USA

Kathrin Stark

Princeton University, USA

United States

René Thiemann

University of Innsbruck

Amin Timany

Aarhus University

Denmark

Josef Urban

Czech Technical University in Prague

Czechia

Christoph Weidenbach

MPI-INF

Germany

Freek Wiedijk

Radboud University Nijmegen

Netherlands

Yannick Zakowski

Inria

France

Floris van Doorn

University of Pittsburgh

United States

Johannes Åman Pohjola

Data61 at CSIRO / UNSW