Program Committee ESOP

Jan Vitek Chair

Northeastern University

Switzerland

Umut A. Acar Committee Member

Carnegie Mellon University

Turkey

Jade Alglave Committee Member

University College London

France

Gilles Barthe Committee Member

IMDEA

France

Gavin Bierman Committee Member

Oracle Labs

United Kingdom

Lars Birkedal Committee Member

Aarhus University

Denmark

Luís Caires Committee Member

FCT / Universidade Nova de Lisboa

Portugal

Adam Chlipala Committee Member

MIT

United States

Charles Consel Committee Member

University of Bordeaux / INRIA / LaBRI

France

Delphine Demange Committee Member

IRISA / University of Rennes 1

France

Işıl Dillig Committee Member

University of Texas, Austin

Turkey

Alastair F. Donaldson Committee Member

Imperial College London

United Kingdom

Derek Dreyer Committee Member

MPI-SWS

United States

Azadeh Farzan Committee Member

University of Toronto

Iran

Cédric Fournet Committee Member

Microsoft Research

Giorgio Ghelli Committee Member

Universita di Pisa

Alexey Gotsman Committee Member

IMDEA

Peter Müller Committee Member

ETH Zurich

Luca Padovani Committee Member

Universita di Torino

Keshav Pingali Committee Member

University of Texas, Austin

India

Mooly Sagiv Committee Member

Tel Aviv University

Israel

Dave Sands Committee Member

Chalmers University of Technology

Helmut Seidl Committee Member

Technische Universität München

Germany

Armando Solar-Lezama Committee Member

MIT

United States

Éric Tanter Committee Member

University of Chile

Peter Thiemann Committee Member

University of Freiburg

Germany

Hongseok Yang Committee Member

University of Oxford

Francesco Zappa Nardelli Committee Member

INRIA

Italy