Program Committee VMCAI

Aws Albarghouthi

University of Wisconsin-Madison, USA

Josh Berdine

Facebook

Dirk Beyer

LMU Munich, Germany

Germany

Nikolaj Bjørner

Microsoft Research

Roderick Bloem

Institute of Software Technology, Graz University of Technology

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Swarat Chaudhuri

Rice University

Yu-Fang Chen

Academia Sinica, Taiwan

Hana Chockler

King's College London

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Dana Drachsler Cohen

Technion

Israel

Cezara Drăgoi

Inria / ENS / CNRS / PSL University / Informal Systems

Grigory Fedyukovich

Florida State University

United States

Jean-Christophe Filliatre

CNRS

France

Orna Grumberg

Technion – Israel Institute of Technology

Israel

Arie Gurfinkel

University of Waterloo

Canada

Guy Katz

Hebrew University

Israel

Rupak Majumdar

MPI-SWS

Antoine Miné

Sorbonne Université

France

Jorge A. Navas

SRI International

United States

Oded Padon

VMware Research

United States

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Azalea Raad

Imperial College London

Xavier Rival

INRIA/CNRS/ENS Paris

France

Ilya Sergey

Yale-NUS College and National University of Singapore

Singapore

Alexander J. Summers

University of British Columbia

Niki Vazou

IMDEA Software Institute

Michael Whalen

University of Minnesota, USA

United States

James R. Wilcox

University of Washington

United States

Lenore Zuck

UIC

United States