Program Committee VMCAI

Mohamed Faouzi Atig

Uppsala University, Sweden

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Bor-Yuh Evan Chang

University of Colorado Boulder & Amazon

Deepak D'Souza

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Cezara Drăgoi

AWS / ENS

Michael Emmi

Amazon Web Services

United States

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Jerome Feret

INRIA Paris

France

Jean-Christophe Filliatre

CNRS

France

Bernd Finkbeiner

CISPA Helmholtz Center for Information Security

Germany

Arie Gurfinkel

University of Waterloo

Canada

Liana Hadarean

Amazon Web Services

United States

Ákos Hajdu

Meta

United Kingdom

Shaobo He

Amazon Web Services

United States

Dejan Jovanović

SRI International

United States

Burcu Kulahcioglu Ozkan

Delft University of Technology

Netherlands

Akash Lal

Microsoft Research

Anthony Widjaja Lin

TU Kaiserslautern; MPI-SWS

Germany

Stephen Merz

Inria Nancy

Suha Orhun Mutluergil

Sabanci University, Turkey

Kedar Namjoshi

Nokia Bell Labs

United States

Jorge A. Navas

Certora, inc.

United States

Gennaro Parlato

University of Molise

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Tatjana Petrov

Universität Konstanz

Germany

Felipe R. Monteiro

Amazon

United States

Daniel Schwartz-Narbonne

Amazon, n.n.

Subodh Sharma

IIT Delhi

India

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Mandayam Srivas

Chennai Mathematical Institute

Zhen Zhang

Utah State University

United States

Florian Zuleger

TU Vienna

Austria