Program Committee VMCAI

Aws Albarghouthi

University of Wisconsin-Madison

United States

Christel Baier

TU Dresden, Germany

Germany

Dirk Beyer

LMU Munich, Germany

Germany

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Yu-Fang Chen

Academia Sinica, Taiwan

Patrick Cousot

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Dino Distefano

Facebook London

Jean-Christophe Filliatre

CNRS

France

Orna Grumberg

Technion – Israel Institute of Technology

Liana Hadarean

Amazon Web Services

United States

William Harris

Galois, Inc.

Laura Kovacs

Vienna University of Technology (TU Wien)

Austria

Jan Kretinsky

Technical University of Munich

Germany

Siddharth Krishna

Microsoft Research

United Kingdom

Anna Lukina

TU Delft

Roland Meyer

TU Braunschweig

Markus Müller-Olm

University of Münster

Germany

Jorge A. Navas

Certora, inc.

United States

Oded Padon

VMware Research; Stanford University

United States

Jens Palsberg

University of California at Los Angeles

United States

Andreas Podelski

University of Freiburg, Germany

Germany

Pavithra Prabhakar

Kansas State University

United States

Corina S. Păsăreanu

Carnegie Mellon University

United States

Xavier Rival

INRIA/CNRS/ENS Paris

France

Sriram Sankaranarayanan

University of Colorado, Boulder

United States

Sven Schewe

University of Liverpool

United Kingdom

Martina Seidl

Johannes Kepler University Linz

Austria

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Gagandeep Singh

University of Illinois at Urbana-Champaign; VMware

United States

César Sánchez

IMDEA Software Institute

Spain

Serdar Tasiran

Amazon, n.n.

Cesare Tinelli

University of Iowa

United States

Laura Titolo

NIA/NASA LaRC

United States

Lenore Zuck

UIC

United States

Leonardo de Moura

Microsoft Research, n.n.