Program Committee VMCAI

Bor-Yuh Evan Chang Committee Member

University of Colorado Boulder

Hana Chockler Committee Member

King's College London

Eva Darulova Committee Member

MPI-SWS, Germany

Rayna Dimitrova Committee Member

MPI-SWS, Germany

Javier Esparza Committee Member

Aarti Gupta Committee Member

Princeton University

Arie Gurfinkel Committee Member

Carnegie Mellon University

United States

Barbara Jobstmann Co-chair

EPFL, Switzerland

Switzerland

K. Rustan M. Leino Co-chair

Microsoft Research

Francesco Logozzo Committee Member

Madhavan Mukund Committee Member

Chennai Mathematical Institute

India

Peter Müller Committee Member

ETH Zurich

David Parker Committee Member

University of Birmingham

United Kingdom

Andreas Podelski Committee Member

University of Freiburg

Nadia Polikarpova Committee Member

MIT CSAIL, USA

Russia

Philipp Ruemmer Committee Member

Uppsala University

Roopsha Samanta Committee Member

IST Austria

Martina Seidl Committee Member

Sanjit Seshia Committee Member

UC Berkeley

Sharon Shoham Committee Member

Tachio Terauchi Committee Member

JAIST

Japan

Caterina Urban Committee Member

Inria & École Normale Supérieure | Université PSL

France

Thomas Wies Committee Member

New York University

United States

Lenore Zuck

UIC