THE PEOPLE BEHIND THE CONFERENCE
ATVA 2024
International Symposium on Automated Technology for Verification and Analysis
Source-attributed rosters checked 2026-09-13. 117 collected records; 102 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Advisory Committee
6 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| E. Allen EmersonIdentity not yet linked | Advisory Committee | University of Texas, Austin | Conference website ↗Checked 2026-09-13 |
| Teruo HigashinoIdentity not yet linked | Advisory Committee | Osaka University | Conference website ↗Checked 2026-09-13 |
| Oscar H. IbarraIdentity not yet linked | Advisory Committee | University of California, Santa Barbara | Conference website ↗Checked 2026-09-13 |
| Insup LeeIdentity not yet linked | Advisory Committee | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
| Farn WangIdentity not yet linked | Advisory Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Hsu-Chun YenIdentity not yet linked | Advisory Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
Artifact Evaluation Co-Chairs
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Martin JonášIdentity not yet linked | Artifact Evaluation Co-Chairs | Masaryk University | Conference website ↗Checked 2026-09-13 |
| Mathias PreinerIdentity not yet linked | Artifact Evaluation Co-Chairs | Stanford University | Conference website ↗Checked 2026-09-13 |
| Yoni ZoharIdentity not yet linked | Artifact Evaluation Co-Chairs | Bar-Ilan University | Conference website ↗Checked 2026-09-13 |
Artifact Evaluation Committee
35 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Guy AmirIdentity not yet linked | Artifact Evaluation Committee | The Hebrew University, Jerusalem | Conference website ↗Checked 2026-09-13 |
| Jie AnIdentity not yet linked | Artifact Evaluation Committee | National Institute of Informatics, Tokyo | Conference website ↗Checked 2026-09-13 |
| Lelio BrunIdentity not yet linked | Artifact Evaluation Committee | National Institute of Informatics, Tokyo | Conference website ↗Checked 2026-09-13 |
| Marek ChalupaIdentity not yet linked | Artifact Evaluation Committee | IST Austria | Conference website ↗Checked 2026-09-13 |
| Po-Chun ChienIdentity not yet linked | Artifact Evaluation Committee | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Solimul ChowdhuryIdentity not yet linked | Artifact Evaluation Committee | University of Alberta | Conference website ↗Checked 2026-09-13 |
| Greta DolcettiIdentity not yet linked | Artifact Evaluation Committee | Ca’ Foscari University of Venice | Conference website ↗Checked 2026-09-13 |
| Burak EkiciIdentity not yet linked | Artifact Evaluation Committee | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Katalin FazekasIdentity not yet linked | Artifact Evaluation Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Hadar FrenkelIdentity not yet linked | Artifact Evaluation Committee | CISPA – Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Aman Goel | Artifact Evaluation Committee | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Petra HozzováIdentity not yet linked | Artifact Evaluation Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Marek JankolaIdentity not yet linked | Artifact Evaluation Committee | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Mayuko KoriIdentity not yet linked | Artifact Evaluation Committee | The Graduate University for Advanced Studies (SOKENDAI) | Conference website ↗Checked 2026-09-13 |
| Hanna LachnittIdentity not yet linked | Artifact Evaluation Committee | Stanford University | Conference website ↗Checked 2026-09-13 |
| Henrich LaukoIdentity not yet linked | Artifact Evaluation Committee | Trail of Bits | Conference website ↗Checked 2026-09-13 |
| Juneyoung LeeIdentity not yet linked | Artifact Evaluation Committee | Amazon | Conference website ↗Checked 2026-09-13 |
| Nian-Ze LeeIdentity not yet linked | Artifact Evaluation Committee | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Lorenz LeutgebIdentity not yet linked | Artifact Evaluation Committee | Max Planck Institute for Informatics | Conference website ↗Checked 2026-09-13 |
| Enrico MagnagoIdentity not yet linked | Artifact Evaluation Committee | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Vincent MihalkovičIdentity not yet linked | Artifact Evaluation Committee | Faculty of Informatics, Masaryk University | Conference website ↗Checked 2026-09-13 |
| Samuel PastvaIdentity not yet linked | Artifact Evaluation Committee | IST Austria | Conference website ↗Checked 2026-09-13 |
| Sophie RainIdentity not yet linked | Artifact Evaluation Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Frédéric RecoulesIdentity not yet linked | Artifact Evaluation Committee | CEA LIST | Conference website ↗Checked 2026-09-13 |
| Gianluca RedondiIdentity not yet linked | Artifact Evaluation Committee | FBK | Conference website ↗Checked 2026-09-13 |
| Kartik SabharwalIdentity not yet linked | Artifact Evaluation Committee | University of Iowa | Conference website ↗Checked 2026-09-13 |
| Sota SatoIdentity not yet linked | Artifact Evaluation Committee | National Institute of Informatics, Tokyo | Conference website ↗Checked 2026-09-13 |
| Hans-Jörg SchurrIdentity not yet linked | Artifact Evaluation Committee | University of Iowa | Conference website ↗Checked 2026-09-13 |
| Simon SchwarzIdentity not yet linked | Artifact Evaluation Committee | Max-Planck-Institute for Informatics | Conference website ↗Checked 2026-09-13 |
| Joseph ScottIdentity not yet linked | Artifact Evaluation Committee | University of Waterloo | Conference website ↗Checked 2026-09-13 |
| Masaki WagaIdentity not yet linked | Artifact Evaluation Committee | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Kazuki WatanabeIdentity not yet linked | Artifact Evaluation Committee | National Institute of Informatics, Tokyo | Conference website ↗Checked 2026-09-13 |
| Andrew (Haoze) WuIdentity not yet linked | Artifact Evaluation Committee | Amherst College | Conference website ↗Checked 2026-09-13 |
| Emily YuIdentity not yet linked | Artifact Evaluation Committee | IST Austria | Conference website ↗Checked 2026-09-13 |
| Zhenya ZhangIdentity not yet linked | Artifact Evaluation Committee | Kyushu University | Conference website ↗Checked 2026-09-13 |
General Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Ichiro HasuoIdentity not yet linked | General Chair | National Institute of Informatics | Conference website ↗Checked 2026-09-13 |
Local Organization Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Masaki WagaIdentity not yet linked | Local Organization Chair | Kyoto University | Conference website ↗Checked 2026-09-13 |
Poster Co-Chairs
2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Koko MuroyaIdentity not yet linked | Poster Co-Chairs | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Yudai TanabeIdentity not yet linked | Poster Co-Chairs | Tokyo Institute of Technology | Conference website ↗Checked 2026-09-13 |
Program Co-Chairs
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| S Akshay | Program Co-Chairs | IIT Bombay | Conference website ↗Checked 2026-09-13 |
| Aina NiemetzIdentity not yet linked | Program Co-Chairs | Stanford University | Conference website ↗Checked 2026-09-13 |
| Sriram SankaranarayananIdentity not yet linked | Program Co-Chairs | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
Program Committee
59 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Erika ÁbrahámIdentity not yet linked | Program Committee | RWTH Aachen University | Conference website ↗Checked 2026-09-13 |
| Kyungmin BaeIdentity not yet linked | Program Committee | Pohang University of Science and Technology | Conference website ↗Checked 2026-09-13 |
| Christel BaierIdentity not yet linked | Program Committee | TU Dresden | Conference website ↗Checked 2026-09-13 |
| Gogul BalakrishnanIdentity not yet linked | Program Committee | Conference website ↗Checked 2026-09-13 | |
| Saddek BensalemIdentity not yet linked | Program Committee | VERIMAG | Conference website ↗Checked 2026-09-13 |
| Dirk Beyer | Program Committee | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Armin Biere | Program Committee | University of Freiburg | Conference website ↗Checked 2026-09-13 |
| Michael BlondinIdentity not yet linked | Program Committee | Université de Sherbrooke | Conference website ↗Checked 2026-09-13 |
| Sourav ChakrabortyIdentity not yet linked | Program Committee | Indian Statistical Institute | Conference website ↗Checked 2026-09-13 |
| Xin Chen | Program Committee | University of New Mexico | Conference website ↗Checked 2026-09-13 |
| Yu-Fang Chen | Program Committee | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Yunja ChoiIdentity not yet linked | Program Committee | Kyungpook National University | Conference website ↗Checked 2026-09-13 |
| Thao DangIdentity not yet linked | Program Committee | CNRS/VERIMAG CNRS · Verimag | Conference website ↗Checked 2026-09-13 |
| Pallab DasguptaIdentity not yet linked | Program Committee | Synopsys | Conference website ↗Checked 2026-09-13 |
| Rayna Dimitrova | Program Committee | CISPA Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Susanna DonatelliIdentity not yet linked | Program Committee | Università di Torino | Conference website ↗Checked 2026-09-13 |
| Alexandre Duret-LutzIdentity not yet linked | Program Committee | EPITA’s Research Lab (LRDE) | Conference website ↗Checked 2026-09-13 |
| Souradeep Dutta | Program Committee | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
| Pascal FontaineIdentity not yet linked | Program Committee | Université de Liège | Conference website ↗Checked 2026-09-13 |
| Amir K. GoharshadyIdentity not yet linked | Program Committee | Hong Kong University of Science and Technology | Conference website ↗Checked 2026-09-13 |
| Blaise GenestIdentity not yet linked | Program Committee | CNRS | Conference website ↗Checked 2026-09-13 |
| Stéphane Graham-LengrandIdentity not yet linked | Program Committee | SRI International | Conference website ↗Checked 2026-09-13 |
| Ashutosh GuptaIdentity not yet linked | Program Committee | IIT Bombay | Conference website ↗Checked 2026-09-13 |
| Liana HadareanIdentity not yet linked | Program Committee | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Ichiro HasuoIdentity not yet linked | Program Committee | National Institute of Informatics | Conference website ↗Checked 2026-09-13 |
| Chih-Duo HongIdentity not yet linked | Program Committee | National Chengchi University | Conference website ↗Checked 2026-09-13 |
| Matti JärvisaloIdentity not yet linked | Program Committee | University of Helsinki | 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 |
| Gowtham KakiIdentity not yet linked | Program Committee | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Daniela KaufmannIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Sandra Kiefer | Program Committee | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Katherine KosaianIdentity not yet linked | Program Committee | Iowa State University | Conference website ↗Checked 2026-09-13 |
| Orna KupfermanIdentity not yet linked | Program Committee | Hebrew University | Conference website ↗Checked 2026-09-13 |
| Yong LiIdentity not yet linked | Program Committee | Institute of Software, Chinese Academy of Sciences Institute of Software · Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Jianwen LiIdentity not yet linked | Program Committee | East China Normal University | Conference website ↗Checked 2026-09-13 |
| Shang-Wei LinIdentity not yet linked | Program Committee | Nanyang Technological University | Conference website ↗Checked 2026-09-13 |
| Kumar MadhukarIdentity not yet linked | Program Committee | IIT Delhi | Conference website ↗Checked 2026-09-13 |
| Tobias Meggendorfer | Program Committee | Lancaster University Leipzig | Conference website ↗Checked 2026-09-13 |
| Benjamin MonmegeIdentity not yet linked | Program Committee | Aix-Marseille Université | Conference website ↗Checked 2026-09-13 |
| Doron PeledIdentity not yet linked | Program Committee | Bar Ilan University | Conference website ↗Checked 2026-09-13 |
| Sophie PinchinatIdentity not yet linked | Program Committee | IRISA Rennes | Conference website ↗Checked 2026-09-13 |
| Jakob PiribauerIdentity not yet linked | Program Committee | TU Dresden | Conference website ↗Checked 2026-09-13 |
| Pavithra PrabhakarIdentity not yet linked | Program Committee | Kansas State University | Conference website ↗Checked 2026-09-13 |
| Andrew ReynoldsIdentity not yet linked | Program Committee | University of Iowa | Conference website ↗Checked 2026-09-13 |
| Cesar SanchezIdentity not yet linked | Program Committee | IMDEA Software Institute | Conference website ↗Checked 2026-09-13 |
| Ocan SankurIdentity not yet linked | Program Committee | Univ Rennes, CNRS Université de Rennes · CNRS | Conference website ↗Checked 2026-09-13 |
| Mate SoosIdentity not yet linked | Program Committee | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| B SrivathsanIdentity not yet linked | Program Committee | Chennai Mathematical Institute | Conference website ↗Checked 2026-09-13 |
| Marielle StoelingaIdentity not yet linked | Program Committee | University of Twente | Conference website ↗Checked 2026-09-13 |
| Kohei SuenagaIdentity not yet linked | Program Committee | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Tachio Terauchi | Program Committee | Waseda University | Conference website ↗Checked 2026-09-13 |
| Ashish TiwariIdentity not yet linked | Program Committee | Microsoft | Conference website ↗Checked 2026-09-13 |
| Hazem Torfah | Program Committee | Chalmers University of Technology | Conference website ↗Checked 2026-09-13 |
| Hiroshi UnnoIdentity not yet linked | Program Committee | University of Tsukuba | Conference website ↗Checked 2026-09-13 |
| Chao WangIdentity not yet linked | Program Committee | University of Southern California | Conference website ↗Checked 2026-09-13 |
| Bai XueIdentity not yet linked | Program Committee | Institute of Software, Chinese Academy of Sciences Institute of Software · Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Akihisa YamadaIdentity not yet linked | Program Committee | National Institute of Advanced Industrial Science and Technology | Conference website ↗Checked 2026-09-13 |
| Đorđe Žikelić | Program Committee | Singapore Management University | Conference website ↗Checked 2026-09-13 |
Publicity Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jie AnIdentity not yet linked | Publicity Chair | National Institute of Informatics | Conference website ↗Checked 2026-09-13 |
Sponsorship Chair
1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Masaaki KonishiIdentity not yet linked | Sponsorship Chair | National Institute of Informatics | Conference website ↗Checked 2026-09-13 |
Steering Committee
5 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Yu-Fang Chen | Steering Committee | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Yunja ChoiIdentity not yet linked | Steering Committee | Kyungpook National University | Conference website ↗Checked 2026-09-13 |
| Ichiro HasuoIdentity not yet linked | Steering Committee | National Institute of Informatics | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Steering Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Doron A PeledIdentity not yet linked | Steering Committee | Bar Ilan University | Conference website ↗Checked 2026-09-13 |