External Review Committee POPL

Nada Amin

EPFL

Switzerland

June Andronick

Data61,CSIRO (formerly NICTA) and UNSW

Australia

Karthikeyan Bhargavan

INRIA

Lars Birkedal

Aarhus University

Nikolaj Bjørner

Microsoft Research

Mihai Budiu

VMware Research Group

Krishnendu Chatterjee

IST Austria

Loris D'Antoni

University of Wisconsin–Madison

Italy

Mila Dalla Preda

University of Verona, Italy

Benjamin Delaware

Purdue University

Delphine Demange

IRISA

Işıl Dillig

UT Austin

R. Kent Dybvig

Cisco, Indiana University

Azadeh Farzan

University of Toronto

Cormac Flanagan

University of California, Santa Cruz

Ireland

Benjamin Gregoire

INRIA

Dan Grossman

University of Washington

United States

Martin Hofmann

LMU, Munich, Germany

Chung-Kil Hur

Seoul National University

Korea, South

Chantal Keller

LRI, Université Paris-Sud

France

Naoki Kobayashi

University of Tokyo, Japan

Robbert Krebbers

Delft University of Technology, Netherlands

Netherlands

Xavier Leroy

Inria

Mohsen Lesani

University of California, Riverside

Sam Lindley

University of Edinburgh

Francesco Logozzo

Facebook

United States

Nuno P. Lopes

Microsoft Research

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Roman Manevich

Ben-Gurion University of the Negev

Israel

Luc Maranget

INRIA Rocquencourt

Damiano Mazza

CNRS

France

Mira Mezini

TU Darmstadt

Germany

Andrzej Murawski

University of Warwick, UK

Peter Müller

ETH Zurich

Switzerland

Santosh Nagarakatte

Rutgers University, USA

United States

Vivek Nigam

Federal University of Paraiba

Scott Owens

University of Kent

United Kingdom

Frank Pfenning

Carnegie Mellon University

Damien Pous

CNRS

G. Ramalingam

Microsoft Research

Aseem Rastogi

Microsoft Research India

India

Daniel Roy

Andrey Rybalchenko

Microsoft Research

United Kingdom

Dave Sands

Chalmers University of Technology

Alexandra Silva

University College London

United Kingdom

Nicolas Tabareau

Inria, France

Tachio Terauchi

JAIST

Peter Thiemann

University of Freiburg

Germany

Ben L. Titzer

Google

Sam Tobin-Hochstadt

Indiana University

United States

Mirco Tribastone

IMT Institute for Advanced Studies Lucca, Italy

Viktor Vafeiadis

MPI-SWS, Germany

Greece

Martin Vechev

ETH Zurich

Eran Yahav

Technion

Israel

Hongseok Yang

University of Oxford

Steve Zdancewic

University of Pennsylvania

United States

Noam Zeilberger

INRIA

Elena Zucca

University of Genova

Damien Zufferey

MIT