THE PEOPLE BEHIND THE CONFERENCE
VMCAI 2024
International Conference on Verification, Model Checking and Abstract Interpretation
Source-attributed rosters checked 2026-09-13. 43 collected records; 32 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No separate organizing committee page listed.
Artifact Evaluation Committee
10 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Sebastian WolffIdentity not yet linked | Artifact Evaluation Committee Member | New York University | Conference website ↗Checked 2026-09-13 |
| Landon TaylorIdentity not yet linked | Artifact Evaluation Committee Member | Utah State University | Conference website ↗Checked 2026-09-13 |
| Filip Cano CórdobaIdentity not yet linked | Artifact Evaluation Committee Member | Technical University of Graz | Conference website ↗Checked 2026-09-13 |
| Théo MatriconIdentity not yet linked | Artifact Evaluation Committee Member | CNRS, LaBRI, University of Bordeaux CNRS · Laboratoire Bordelais de Recherche en Informatique · Université de Bordeaux | Conference website ↗Checked 2026-09-13 |
| Shuyang LiuIdentity not yet linked | Artifact Evaluation Committee Member | UCLA | Conference website ↗Checked 2026-09-13 |
| Rui Dong | Artifact Evaluation Committee Member | University of Michigan | Conference website ↗Checked 2026-09-13 |
| Yanju ChenIdentity not yet linked | Artifact Evaluation Committee Member | University of California at Santa Barbara | Conference website ↗Checked 2026-09-13 |
| Jocelyn Qiaochu ChenIdentity not yet linked | Artifact Evaluation Committee Member | University of Texas at Austin | Conference website ↗Checked 2026-09-13 |
| Joomy KorkutIdentity not yet linked | Artifact Evaluation Committee Member | Bloomberg LP | Conference website ↗Checked 2026-09-13 |
| Yotam DvirIdentity not yet linked | Artifact Evaluation Committee Member | Tel Aviv University | Conference website ↗Checked 2026-09-13 |
Program Committee
33 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Rayna Dimitrova | Co-chair | CISPA Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Ori Lahav | Co-chair | Tel Aviv University | Conference website ↗Checked 2026-09-13 |
| Ezio BartocciIdentity not yet linked | Member | Technische Universität Wien | Conference website ↗Checked 2026-09-13 |
| Nathalie BertrandIdentity not yet linked | Member | INRIA Rennes | Conference website ↗Checked 2026-09-13 |
| Emanuele De AngelisIdentity not yet linked | Member | IASI-CNR | Conference website ↗Checked 2026-09-13 |
| Coen De RooverIdentity not yet linked | Member | Vrije Universiteit Brussel | Conference website ↗Checked 2026-09-13 |
| Jyotirmoy DeshmukhIdentity not yet linked | Member | University of Southern California | Conference website ↗Checked 2026-09-13 |
| Grigory FedyukovichIdentity not yet linked | Member | Florida State University | Conference website ↗Checked 2026-09-13 |
| Nathanaël FijalkowIdentity not yet linked | Member | CNRS, LaBRI, and Alan Turing Institute CNRS · Laboratoire Bordelais de Recherche en Informatique · The Alan Turing Institute | Conference website ↗Checked 2026-09-13 |
| Hadar FrenkelIdentity not yet linked | Member | CISPA Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Amir K. GoharshadyIdentity not yet linked | Member | Hong Kong University of Science and Technology | Conference website ↗Checked 2026-09-13 |
| Jochen HoenickeIdentity not yet linked | Member | Universität Freiburg | Conference website ↗Checked 2026-09-13 |
| Hossein HojjatIdentity not yet linked | Member | Tehran Institute for Advanced Studies (TeIAS) | Conference website ↗Checked 2026-09-13 |
| Qinheping HuIdentity not yet linked | Member | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Marieke HuismanIdentity not yet linked | Member | University of Twente | Conference website ↗Checked 2026-09-13 |
| Joost-Pieter Katoen | Member | RWTH Aachen University | Conference website ↗Checked 2026-09-13 |
| Burcu Kulahcioglu OzkanIdentity not yet linked | Member | Delft University of Technology | Conference website ↗Checked 2026-09-13 |
| Anna Lukina | Member | TU Delft | Conference website ↗Checked 2026-09-13 |
| Roland Meyer | Member | TU Braunschweig | Conference website ↗Checked 2026-09-13 |
| David MonniauxIdentity not yet linked | Member | Université Grenoble Alpes - CNRS - Grenoble INP - Verimag | Conference website ↗Checked 2026-09-13 |
| Kedar NamjoshiIdentity not yet linked | Member | Nokia Bell Labs | Conference website ↗Checked 2026-09-13 |
| Jens PalsbergIdentity not yet linked | Member | University of California, Los Angeles (UCLA) | Conference website ↗Checked 2026-09-13 |
| Elizabeth PolgreenIdentity not yet linked | Member | University of Edinburgh | Conference website ↗Checked 2026-09-13 |
| Arjun Radhakrishna | Member | Microsoft | Conference website ↗Checked 2026-09-13 |
| Robert Rand | Member | University of Chicago | Conference website ↗Checked 2026-09-13 |
| Francesco Ranzato | Member | University of Padova | Conference website ↗Checked 2026-09-13 |
| Xavier Rival | Member | Inria; ENS; CNRS; PSL University Institut national de recherche en sciences et technologies du numérique · ENS · CNRS · PSL | Conference website ↗Checked 2026-09-13 |
| Philipp RuemmerIdentity not yet linked | Member | University of Regensburg and Uppsala University University of Regensburg · Uppsala University | Conference website ↗Checked 2026-09-13 |
| Mihaela SighireanuIdentity not yet linked | Member | IRIF, Université Paris Diderot, France Institut de Recherche en Informatique Fondamentale · Université Paris Diderot | Conference website ↗Checked 2026-09-13 |
| Gagandeep SinghIdentity not yet linked | Member | University of Illinois at Urbana-Champaign; VMware Research University of Illinois at Urbana-Champaign · VMware Research | Conference website ↗Checked 2026-09-13 |
| Hazem Torfah | Member | Chalmers University of Technology | Conference website ↗Checked 2026-09-13 |
| Zhen ZhangIdentity not yet linked | Member | Utah State University | Conference website ↗Checked 2026-09-13 |
| Lenore ZuckIdentity not yet linked | Member | UIC | Conference website ↗Checked 2026-09-13 |