THE PEOPLE BEHIND THE CONFERENCE
VMCAI 2025
International Conference on Verification, Model Checking and Abstract Interpretation
Source-attributed rosters checked 2026-09-13. 43 collected records; 28 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
8 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Ernst Moritz Hahn | Artifact Evaluation Committee Member | University of Twente | Conference website ↗Checked 2026-09-13 |
| Andrea TurriniIdentity not yet linked | Artifact Evaluation Committee Member | Institute of Software, Chinese Academy of Sciences Institute of Software · Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Zafer EsenIdentity not yet linked | Artifact Evaluation Committee Member | Uppsala University | Conference website ↗Checked 2026-09-13 |
| Zhonghan WangIdentity not yet linked | Artifact Evaluation Committee Member | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences State Key Laboratory of Computer Science · Institute of Software · Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Qiyi TangIdentity not yet linked | Artifact Evaluation Committee Member | University of Liverpool | Conference website ↗Checked 2026-09-13 |
| Milla Valnet | Artifact Evaluation Committee Member | Sorbonne Université | Conference website ↗Checked 2026-09-13 |
| Marian Lingsch-RosenfeldIdentity not yet linked | Artifact Evaluation Committee Member | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Michal HečkoIdentity not yet linked | Artifact Evaluation Committee Member | Brno University of Technology | Conference website ↗Checked 2026-09-13 |
Program Committee
35 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Shankaranarayanan KrishnaIdentity not yet linked | PC Chair | IIT Bombay, India | Conference website ↗Checked 2026-09-13 |
| Sriram SankaranarayananIdentity not yet linked | PC Chair | University of Colorado, Boulder | Conference website ↗Checked 2026-09-13 |
| Ashutosh TrivediIdentity not yet linked | PC Chair | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Parosh Aziz AbdullaIdentity not yet linked | Member | Uppsala University, Sweden | Conference website ↗Checked 2026-09-13 |
| Elli AnastasiadiIdentity not yet linked | Member | Uppsala University | Conference website ↗Checked 2026-09-13 |
| Haniel BarbosaIdentity not yet linked | Member | Universidade Federal de Minas Gerais, Brazil | Conference website ↗Checked 2026-09-13 |
| Ahmed Bouajjani | Member | IRIF, Université Paris Diderot Institut de Recherche en Informatique Fondamentale · Université Paris Diderot | Conference website ↗Checked 2026-09-13 |
| Soham Chakraborty | Member | TU Delft | Conference website ↗Checked 2026-09-13 |
| Xin ChenIdentity not yet linked | Member | University of New Mexico, USA | Conference website ↗Checked 2026-09-13 |
| Patrick CousotIdentity not yet linked | Member | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Loris D'AntoniIdentity not yet linked | Member | University of California, San Diego | Conference website ↗Checked 2026-09-13 |
| Deepak D'SouzaIdentity not yet linked | Member | IISc Bangalore | Conference website ↗Checked 2026-09-13 |
| Jyotirmoy DeshmukhIdentity not yet linked | Member | University of Southern California | Conference website ↗Checked 2026-09-13 |
| Roberto Giacobazzi | Member | University of Arizona | 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 |
| Priyanka GoliaIdentity not yet linked | Member | Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore Indian Institute of Technology Kanpur · National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Marie-Christine JakobsIdentity not yet linked | Member | LMU Munich, Germany | Conference website ↗Checked 2026-09-13 |
| Katherine KosaianIdentity not yet linked | Member | University of Iowa | Conference website ↗Checked 2026-09-13 |
| Jan KretinskyIdentity not yet linked | Member | Masaryk University, Czech Republic | Conference website ↗Checked 2026-09-13 |
| Viktor Kunčak | Member | EPFL, Switzerland | Conference website ↗Checked 2026-09-13 |
| Ravi Mangal | Member | Colorado State University | Conference website ↗Checked 2026-09-13 |
| Eric MercerIdentity not yet linked | Member | Brigham Young University | Conference website ↗Checked 2026-09-13 |
| Roland Meyer | Member | TU Braunschweig | Conference website ↗Checked 2026-09-13 |
| Antoine Miné | Member | Sorbonne Université | Conference website ↗Checked 2026-09-13 |
| Sergio Mover | Member | École Polytechnique | Conference website ↗Checked 2026-09-13 |
| Koko MuroyaIdentity not yet linked | Member | NII | Conference website ↗Checked 2026-09-13 |
| Andreas Pavlogiannis | Member | Aarhus University | Conference website ↗Checked 2026-09-13 |
| Andreas Podelski | Member | University of Freiburg | 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 |
| Subodh SharmaIdentity not yet linked | Member | IIT Delhi | Conference website ↗Checked 2026-09-13 |
| Aditya V. Thakur | Member | University of California at Davis | Conference website ↗Checked 2026-09-13 |
| Saeid Tizpaz-Niari | Member | University of Texas at El Paso | Conference website ↗Checked 2026-09-13 |
| Chao WangIdentity not yet linked | Member | University of Southern California | Conference website ↗Checked 2026-09-13 |
| Zhen ZhangIdentity not yet linked | Member | Utah State University | Conference website ↗Checked 2026-09-13 |
| Đorđe ŽikelićIdentity not yet linked | Member | Singapore Management University, Singapore | Conference website ↗Checked 2026-09-13 |