Program Committee VMCAI

Yu-Fang Chen Co-chair

Academia Sinica

Taiwan

Thomas P. Jensen Co-chair

INRIA Rennes

Ondřej Lengál Co-chair

Brno University of Technology

Czechia

Alexander Bakst

Certora

United States

Sébastien Bardin

CEA LIST, University Paris-Saclay

France

Borzoo Bonakdarpour

Michigan State University

Filip Cano Córdoba

Institute of Science and Technology Austria

Austria

Milan Ceska

Brno University of Technology

Czechia

Liqian Chen

National University of Defense Technology

China

Chih-Hong Cheng

Carl von Ossietzky Universität Oldenburg & Chalmers University of Technology

Germany

Coen De Roover

Vrije Universiteit Brussel

Belgium

Gidon Ernst

LMU Munich

Germany

Javier Esparza

Technical University of Munich

Grigory Fedyukovich

Florida State University

United States

Vijay Ganesh

Georgia Tech

United States

Roberto Giacobazzi

University of Arizona

United States

Simon Guilloud

EPFL

Switzerland

Ashutosh Gupta

Lukáš Holík

Brno University of Technology; Aalborg University

Czechia

Chih-Duo Hong

National Chengchi University

Taiwan

Sebastian Junges

Jan Kofroň

Charles University

Czechia

Alfons Laarman

Leiden University

Netherlands

Nian-Ze Lee

National Taiwan University, Taiwan

Taiwan

Matthieu Lemerre

Université Paris-Saclay - CEA List

France

Jérôme Leroux

LaBRI, Univ. Bordeaux, CNRS, Bordeaux INP, Talence, France

France

Jyun-Ao Lin

National Taipei University of Technology

Taiwan

Isabella Mastroeni

University of Verona

Italy

Nicolas Mazzocchi

Slovak University of Technology in Bratislava

Slovakia

Antoine Miné

Sorbonne Université

France

Alexandre Moine

New York University

United States

Benoît Montagu

Inria

France

Jorge A. Navas

Certora

United States

Luca Negrini

Ca’ Foscari University of Venice

Italy

Jakob Piribauer

TU Dresden

Germany

Adrien Pommellet

EPITA / LRE

France

Francesco Ranzato

University of Padova

Italy

Christoph Scholl

University of Freiburg

Germany

Stephen F. Siegel

University of Delaware

United States

Mihaela Sighireanu

University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF

France

Julien Signoles

Université Paris-Saclay, CEA, List

France

B Srivathsan

Chennai Mathematical Institute

India

Marielle Stoelinga

University of Twente and Radboud University, Nijmegen

Netherlands

Jan Strejcek

Masaryk University

Czechia

Kohei Suenaga

Graduate School of Informatics, Kyoto University

Japan

Masaki Waga

Kyoto University

Japan

Kazuki Watanabe

National Institute of Informatics; SOKENDAI

Japan

Philipp Wendler

LMU Munich

Thomas Wies

New York University

United States

Enea Zaffanella

University of Parma

Italy

Li Zhou

Institute of Software at Chinese Academy of Sciences

China

Tom van Dijk

University of Twente

Netherlands