June Andronick

Proofcraft, UNSW and seL4 Foundation

Leonardo de Moura

Microsoft Research

Mauricio Ayala-Rincon

Brasilia University

Yves Bertot

INRIA

Jasmin Blanchette

Vrije University Amsterdam

Amy Felty

University of Ottawa

Daniele Gorla

Sapienza Università di Roma

Gerwin Klein

Proofcraft and UNSW Sydney

Pete Manolios

Northeastern University

Magnus Myreen

Chalmers University

Larry Paulson

University of Cambridge (chair)

Andrew Tolmach

Portland State University (ex officio)

Christian Urban

King’s College London

Jeremy Avigad

Carnegie Mellon University

Alexander Bentkamp

Vrije Universiteit Amsterdam

Christoph Benzmüller

Freie Universität Berlin

Jasmin Blanchette

Vrije Universiteit Amsterdam

Sandrine Blazy

University of Rennes 1 - IRISA

Sylvie Boldo

INRIA

John Harrison

Amazon Web Services

Hugo Herbelin

INRIA

Warren Hunt

The University of Texas at Austin

Cezary Kaliszyk

University of Innsbruck

Chantal Keller

Université Paris-Saclay

Peter Lammich

University of Twente

Andreas Lochbihler

Digital Asset (Switzerland) GmbH

Assia Mahboubi

INRIA

César Muñoz

Amazon

Magnus O. Myreen

Chalmers University of Technology

Cláudia Nalon

University of Brasília

Adam Naumowicz

Institute of Computer Science, University of Bialystok, Poland

Tobias Nipkow

Technical University of Munich

Michael Norrish

ANU

John O'Leary

Intel

Valeria de Paiva

Topos Institute and University of Birmingham

Christine Paulin-Mohring

Université Paris-Saclay

Lawrence Paulson

University of Cambridge

Vincent Rahli

University of Birmingham

Talia Ringer

University of Illinois at Urbana-Champaign

Bas Spitters

Aarhus University

Pierre-Yves Strub

Meta

Andrew Tolmach

Portland State University

Hira Syeda

AWS

Makarius Wenzel

sketis.net