committee/

THE PEOPLE BEHIND THE CONFERENCE

ATVA 2023

International Symposium on Automated Technology for Verification and Analysis

Complete roster coverageOfficial edition website ↗

Source-attributed rosters checked 2026-09-13. 37 collected records; 28 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.

General Chair

1 service records
General Chair membership and source references
Person Role Affiliation as listed Evidence
Jin Song DONGIdentity not yet linkedGeneral Chair National University of Singapore Conference website ↗Checked 2026-09-13

Local Organization Chair

1 service records
Local Organization Chair membership and source references
Person Role Affiliation as listed Evidence
Xiaofei XieLocal Organization Chair Singapore Management University Conference website ↗Checked 2026-09-13

Program Co-Chairs

2 service records
Program Co-Chairs membership and source references
Person Role Affiliation as listed Evidence
Jun SunProgram Co-Chairs Singapore Management University Conference website ↗Checked 2026-09-13
Étienne AndréIdentity not yet linkedProgram Co-Chairs Université Sorbonne Paris Nord Conference website ↗Checked 2026-09-13

Program Committee

32 service records
Program Committee membership and source references
Person Role Affiliation as listed Evidence
Mohamed Faouzi AtigIdentity not yet linkedProgram Committee Uppsala University Conference website ↗Checked 2026-09-13
Kyungmin BaeIdentity not yet linkedProgram Committee Pohang University of Science and Technology Conference website ↗Checked 2026-09-13
Saddek BensalemIdentity not yet linkedProgram Committee VERIMAG Conference website ↗Checked 2026-09-13
Udi BokerIdentity not yet linkedProgram Committee Reichman University, Herzliya, Israel Conference website ↗Checked 2026-09-13
Lei BuIdentity not yet linkedProgram Committee Nanjing University Conference website ↗Checked 2026-09-13
Yu-Fang ChenProgram Committee Academia Sinica Conference website ↗Checked 2026-09-13
Chih-Hong ChengIdentity not yet linkedProgram Committee Fraunhofer IKS Conference website ↗Checked 2026-09-13
Yunja ChoiIdentity not yet linkedProgram Committee Kyungpook National University Conference website ↗Checked 2026-09-13
Thao DangIdentity not yet linkedProgram Committee CNRS/VERIMAG CNRS · Verimag Conference website ↗Checked 2026-09-13
Susanna DonatelliIdentity not yet linkedProgram Committee Dipartimento di Informatica Conference website ↗Checked 2026-09-13
Bernd FinkbeinerProgram Committee CISPA Helmholtz Center for Information Security Conference website ↗Checked 2026-09-13
Stefan GrunerIdentity not yet linkedProgram Committee University of Pretoria Conference website ↗Checked 2026-09-13
Ichiro HasuoIdentity not yet linkedProgram Committee National Institute of Informatics Conference website ↗Checked 2026-09-13
Jie-Hong Roland JiangIdentity not yet linkedProgram Committee National Taiwan University Conference website ↗Checked 2026-09-13
Ondřej LengálProgram Committee Brno University of Technology Conference website ↗Checked 2026-09-13
Shang-Wei LinIdentity not yet linkedProgram Committee Nanyang Technological University Conference website ↗Checked 2026-09-13
Doron PeledIdentity not yet linkedProgram Committee Bar Ilan University Conference website ↗Checked 2026-09-13
Jakob PiribauerIdentity not yet linkedProgram Committee TU Dresden Conference website ↗Checked 2026-09-13
Pavithra PrabhakarIdentity not yet linkedProgram Committee Kansas State University Conference website ↗Checked 2026-09-13
Sasinee PruekprasertIdentity not yet linkedProgram Committee National Institute of Advanced Industrial Science and Technology Conference website ↗Checked 2026-09-13
Kristin Yvonne RozierProgram Committee Iowa State University Conference website ↗Checked 2026-09-13
Indranil SahaIdentity not yet linkedProgram Committee Indian Institute of Technology Kanpur Conference website ↗Checked 2026-09-13
Ocan SankurIdentity not yet linkedProgram Committee Univ Rennes Conference website ↗Checked 2026-09-13
Fu SongIdentity not yet linkedProgram Committee ShanghaiTech University Conference website ↗Checked 2026-09-13
Marielle StoelingaIdentity not yet linkedProgram Committee University of Twente Conference website ↗Checked 2026-09-13
Michael TautschnigIdentity not yet linkedProgram Committee Queen Mary University of London Conference website ↗Checked 2026-09-13
Tachio TerauchiProgram Committee Waseda University Conference website ↗Checked 2026-09-13
Jingyi WangProgram Committee Zhejiang University Conference website ↗Checked 2026-09-13
Chao WangIdentity not yet linkedProgram Committee University of Southern California Conference website ↗Checked 2026-09-13
Bow-Yaw WangProgram Committee Academia Sinica Conference website ↗Checked 2026-09-13
Zhilin WuIdentity not yet linkedProgram Committee Institute of Software, Chinese Academy of Sciences Institute of Software · Chinese Academy of Sciences Conference website ↗Checked 2026-09-13
Lijun ZhangIdentity not yet linkedProgram Committee Institute of Software, Chinese Academy of Sciences Institute of Software · Chinese Academy of Sciences Conference website ↗Checked 2026-09-13

Publicity Chair

1 service records
Publicity Chair membership and source references
Person Role Affiliation as listed Evidence
Lei BuIdentity not yet linkedPublicity Chair Nanjing University Conference website ↗Checked 2026-09-13