Artifact Evaluation Committee VMCAI

Marek Chalupa Co-chair

Institute of Science and Technology Austria

Yong Li Co-chair

Institute of Software, Chinese Academy of Sciences

China

Luca Di Stefano

Technische Universität Wien

Austria

Greta Dolcetti

Ca’ Foscari University of Venice

Italy

Sankalp Gambhir

Ecole Polytechnique Federale de Lausanne (EPFL)

Arka Ghosh

Université de Bordeaux / LaBRI

Michal Hečko

Brno University of Technology

Czechia

Qifan Huang

Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

China

David Hudák

Brno University of Technology

Ayrat Khalimov

Klaus Kraßnitzer

ISTA

Jérôme Leroux

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

France

Dorian Lesbre

Université Paris-Saclay - CEA LIST

France

Zengyu Liu

National University of Defense Technology

China

Jingyi Mei

Leiden University

Netherlands

Vincent Mihalkovič

Mr

Sayan Mukherjee

Univ Rennes, Inria, CNRS, IRISA, France

Ana Oliveira Da Costa

IST Austria, Austria

Austria

Roberto Pettinau

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Kittiphon Phalakarn

National Institute of Informatics

Japan

Francesco Pontiggia

TU Wien

Frédéric Recoules

CEA, List

Diletta Rigo

Dipartimento di Matematica, University of Padova, Italy

Italy

Paul Robert

CEA LIST

N. Ege Saraç

CISPA Helmholtz Center for Information Security

Sota Sato

Kyoto University

Japan

Gaëtan Staquet

Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004

France

Bram Vandenbogaerde

Software Languages Lab, Vrije Universiteit Brussel

Belgium

Changshun Wu

Université Grenoble Alpes

Hanrui Zhao