Program Committee CPP

Jeremy Avigad Program Co-Chair

Carnegie Mellon University

Sandrine Blazy

IRISA / University of Rennes 1

Adam Chlipala Program Co-Chair

MIT

United States

Thierry Coquand

Chalmers University of Technology, Sweden

John Harrison

Intel

Chris Hawblitzel

Microsoft Research

Cătălin Hriţcu

INRIA Paris

France

Brian Huffman

Galois

Laura Kovacs

Chalmers University of Technology

Peter Lammich

Technische Universität München

Hongjin Liang

University of Science and Technology of China

Daniel R. Licata

Wesleyan University

Panagiotis Manolios

Northeastern University

Dale Miller

INRIA Saclay and LIX

Dominic Mulligan

Cambridge University

Lawrence Paulson

Cambridge University

Andrei Popescu

Middlesex University, London

Claudio Sacerdoti Coen

University of Bologna

Zachary Tatlock

University of Washington, Seattle

United States

Cesare Tinelli

University of Iowa