THE PEOPLE BEHIND THE CONFERENCE
ATVA 2026
International Symposium on Automated Technology for Verification and Analysis
Source-attributed rosters checked 2026-09-13. 45 collected records; 35 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Organizing Committee
6 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Bruno C. d. S. OliveiraIdentity not yet linked | General Chair | University of Hong Kong | Conference website ↗Checked 2026-09-13 |
| Lei BuIdentity not yet linked | ATVA Program Co-Chair | Nanjing University | Conference website ↗Checked 2026-09-13 |
| Mirai IkebuchiIdentity not yet linked | Publicity Co-Chair | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Benjamin Lucien Kaminski | ATVA Program Co-Chair | Saarland University; University College London Saarland University · University College London | Conference website ↗Checked 2026-09-13 |
| Jan KretinskyIdentity not yet linked | ATVA Program Co-Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Wenjia YeIdentity not yet linked | Publicity Co-Chair | The University of Hong Kong, Hong Kong | Conference website ↗Checked 2026-09-13 |
Program Committee
39 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Lei BuIdentity not yet linked | Co-chair | Nanjing University | Conference website ↗Checked 2026-09-13 |
| Benjamin Lucien Kaminski | Co-chair | Saarland University; University College London Saarland University · University College London | Conference website ↗Checked 2026-09-13 |
| Jan KretinskyIdentity not yet linked | Co-chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Guillermo A. PerezIdentity not yet linked | Program Committee | University of Antwerp | Conference website ↗Checked 2026-09-13 |
| Parosh Aziz Abdulla | Program Committee | Uppsala University; Mälardalen University Uppsala University · Mälardalen University | Conference website ↗Checked 2026-09-13 |
| Erika AbrahamIdentity not yet linked | Program Committee | RWTH Aachen University | Conference website ↗Checked 2026-09-13 |
| Kyungmin BaeIdentity not yet linked | Program Committee | POSTECH | Conference website ↗Checked 2026-09-13 |
| A. R. BalasubramanianIdentity not yet linked | Program Committee | MPI-SWS | Conference website ↗Checked 2026-09-13 |
| Suguman Bansal | Program Committee | Georgia Institute of Technology, USA | Conference website ↗Checked 2026-09-13 |
| Pablo CastroIdentity not yet linked | Program Committee | Dept. of Computer Science FCEFQyN, University of Rio Cuarto | Conference website ↗Checked 2026-09-13 |
| Liqian ChenIdentity not yet linked | Program Committee | National University of Defense Technology | Conference website ↗Checked 2026-09-13 |
| Yu-Fang Chen | Program Committee | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Michele ChiariIdentity not yet linked | Program Committee | AIT - Austrian Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Yunja ChoiIdentity not yet linked | Program Committee | Kyungpook National University | Conference website ↗Checked 2026-09-13 |
| Wei DongIdentity not yet linked | Program Committee | National University of Defense Technology | Conference website ↗Checked 2026-09-13 |
| Grigory FedyukovichIdentity not yet linked | Program Committee | Florida State University | Conference website ↗Checked 2026-09-13 |
| Charles GrelloisIdentity not yet linked | Program Committee | University of Sheffield | Conference website ↗Checked 2026-09-13 |
| Ashutosh GuptaIdentity not yet linked | Program Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ichiro Hasuo | Program Committee | National Institute of Informatics, Japan | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Program Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Sebastian Junges | Program Committee | Radboud University | Conference website ↗Checked 2026-09-13 |
| Jieung KimIdentity not yet linked | Program Committee | Yonsei University | Conference website ↗Checked 2026-09-13 |
| Orna KupfermanIdentity not yet linked | Program Committee | Hebrew University | Conference website ↗Checked 2026-09-13 |
| Christoph MathejaIdentity not yet linked | Program Committee | University of Oldenburg | Conference website ↗Checked 2026-09-13 |
| Tobias MeggendorferIdentity not yet linked | Program Committee | Lancaster University, UK (Leipzig Campus) | Conference website ↗Checked 2026-09-13 |
| Krishna Shankara NaranayananIdentity not yet linked | Program Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andreas Pavlogiannis | Program Committee | Aarhus University | Conference website ↗Checked 2026-09-13 |
| Doron PeledIdentity not yet linked | Program Committee | Bar Ilan University | Conference website ↗Checked 2026-09-13 |
| Francesca RandoneIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Anne-Kathrin SchmuckIdentity not yet linked | Program Committee | Max Planck Institute for Software Systems | Conference website ↗Checked 2026-09-13 |
| Natasha SharyginaIdentity not yet linked | Program Committee | USI Lugano, Switzerland | Conference website ↗Checked 2026-09-13 |
| Jiasi Shen | Program Committee | The Hong Kong University of Science and Technology | Conference website ↗Checked 2026-09-13 |
| Ana SokolovaIdentity not yet linked | Program Committee | University of Salzburg | Conference website ↗Checked 2026-09-13 |
| Jiri SrbaIdentity not yet linked | Program Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| B SrivathsanIdentity not yet linked | Program Committee | Chennai Mathematical Institute | Conference website ↗Checked 2026-09-13 |
| Jun Sun | Program Committee | Singapore Management University | Conference website ↗Checked 2026-09-13 |
| Tobias WinklerIdentity not yet linked | Program Committee | RWTH Aachen University | Conference website ↗Checked 2026-09-13 |
| Majid ZamaniIdentity not yet linked | Program Committee | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Đorđe ŽikelićIdentity not yet linked | Program Committee | Nanyang Technological University | Conference website ↗Checked 2026-09-13 |