Program Committee CPP

Aart Middeldorp

University of Innsbruck

Abhishek Kr Singh

IIIT Hyderabad

India

Anders Mörtberg

Department of Mathematics, Stockholm University

Sweden

Andrej Bauer

University of Ljubljana

Slovenia

Anne Baanen

Mathlib Initiative

Ariel E. Kellison

Code Metal

United States

Assia Mahboubi

INRIA

France

Chantal Keller

LMF - University Paris-Saclay

France

Chelsea Edmonds

The University of Western Australia

Australia

Christine Rizkallah

University of Melbourne

Australia

Cyril Cohen

Inria, CNRS, ENS Lyon, UCBL, LIP

France

Denis Firsov

Tallinn University of Technology

Estonia

Derek Dreyer

MPI-SWS

Germany

Dmitriy Traytel

University of Copenhagen

Denmark

Dominik Kirst

Inria Saclay

Holger Thies

Kyoto University

Ian Shillito

University of Melbourne

Jannis Limperg

Axiom Math & LMU Munich

Germany

Jonas Kastberg Hinrichsen

Aalborg University

Denmark

Julie Cailler

University of Lorraine, CNRS, Inria, LORIA, Nancy

Julien Narboux

Univ. Paris Cité

Kathrin Stark

Heriot-Watt University

United Kingdom

Kaustuv Chaudhuri

Inria, France

France

Kenji Maillard

Inria – LS2N, Université de Nantes

France

Lauren White

NASA

United States

Lawrence Paulson

University of Cambridge

United Kingdom

María Inés de Frutos Fernández

University of Bonn

Martin Bodin

Inria

France

Matthieu Sozeau

Inria

France

Mauricio Ayala-Rincon

Federal University of Goiás / University of Brasília

Brazil

Nada Amin

Harvard University

United States

Nikhil Swamy

Microsoft Research

United States

Patricia Johann

Appalachian State University

Qinxiang Cao

Shanghai Jiao Tong University

China

René Thiemann

University of Innsbruck

Reynald Affeldt

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

Sebastien Gouezel

CNRS and Rennes University

Simon Oddershede Gregersen

CISPA Helmholtz Center for Information Security

Germany

Sophie Morel

CNRS/UMPA

Stefan Zetzsche

Amazon Web Services

United Kingdom

Stephane Graham-Lengrand

SRI

Tobias Nipkow

Technische Universität München

Viktor Vafeiadis

MPI-SWS

Germany

Xavier Allamigeon

Inria and Ecole Polytechnique

Yann Herklotz

EPFL

Switzerland

Yannick Forster

Inria

France

Yao Li

Portland State University

United States

Yonghyun Kim

MPI-SP

Germany