Program Committee VMCAI

Rayna Dimitrova Co-chair

CISPA Helmholtz Center for Information Security

Ori Lahav Co-chair

Tel Aviv University

Israel

Ezio Bartocci

Technische Universität Wien

Austria

Nathalie Bertrand

INRIA Rennes

Emanuele De Angelis

IASI-CNR

Italy

Coen De Roover

Vrije Universiteit Brussel

Belgium

Jyotirmoy Deshmukh

University of Southern California

Bruno Dutertre

Amazon Web Services

Michael Emmi

Amazon Web Services

United States

Grigory Fedyukovich

Florida State University

United States

Nathanaël Fijalkow

CNRS, LaBRI, and Alan Turing Institute

France

Hadar Frenkel

CISPA Helmholtz Center for Information Security

Germany

Amir Kafshdar Goharshady

Hong Kong University of Science and Technology

Hong Kong

Liana Hadarean

Amazon Web Services

United States

Jochen Hoenicke

Universität Freiburg

Germany

Hossein Hojjat

Tehran Institute for Advanced Studies (TeIAS)

Iran

Qinheping Hu

Amazon Web Services

United States

Marieke Huisman

University of Twente

Netherlands

Joost-Pieter Katoen

RWTH Aachen University

Germany

Daniela Kaufmann

TU Wien

Burcu Kulahcioglu Ozkan

Delft University of Technology

Netherlands

Bettina Könighofer

Anna Lukina

TU Delft

Roland Meyer

TU Braunschweig

Germany

David Monniaux

Université Grenoble Alpes - CNRS - Grenoble INP - Verimag

France

Kedar Namjoshi

Nokia Bell Labs

United States

Jens Palsberg

University of California, Los Angeles (UCLA)

United States

Elizabeth Polgreen

University of Edinburgh

United Kingdom

Arjun Radhakrishna

Microsoft

United States

Robert Rand

University of Chicago

United States

Francesco Ranzato

University of Padova

Italy

Xavier Rival

Inria; ENS; CNRS; PSL University

France

Philipp Ruemmer

University of Regensburg and Uppsala University

Germany

Anne-Kathrin Schmuck

MPI-SWS

Germany

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Gagandeep Singh

University of Illinois at Urbana-Champaign; VMware Research

United States

Hazem Torfah

Chalmers University of Technology

Sweden

Zhen Zhang

Utah State University

United States

Lenore Zuck

UIC

United States