THE PEOPLE BEHIND THE CONFERENCE
ATVA 2025
International Symposium on Automated Technology for Verification and Analysis
Source-attributed rosters checked 2026-09-13. 64 collected records; 43 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Organizing Committee
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Sujit Kumar ChakrabartiIdentity not yet linked | Organizing Chair | International Institute of Information Technology, Bangalore | Conference website ↗Checked 2026-09-13 |
| Meenakshi D'Souza | Organizing Committee | IIITB - International Institute of Information Technology Bangalore | Conference website ↗Checked 2026-09-13 |
| Saumya ShankarIdentity not yet linked | Organizing Committee | International Institute of Information Technology Bangalore | Conference website ↗Checked 2026-09-13 |
Program Committee
56 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| S. AkshayIdentity not yet linked | Program Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Étienne AndréIdentity not yet linked | Program Committee | Université Sorbonne Paris Nord; LIPN; CNRS Université Sorbonne Paris Nord · Laboratoire d'Informatique de Paris-Nord · CNRS | Conference website ↗Checked 2026-09-13 |
| Guy Avni | Program Committee | University of Haifa | Conference website ↗Checked 2026-09-13 |
| Gogul BalakrishnanIdentity not yet linked | Program Committee | Conference website ↗Checked 2026-09-13 | |
| A. R. BalasubramanianIdentity not yet linked | Program Committee | Technical University of Munich | Conference website ↗Checked 2026-09-13 |
| Ansuman BanerjeeIdentity not yet linked | Program Committee | Indian Statistical Institute | Conference website ↗Checked 2026-09-13 |
| Suguman Bansal | Program Committee | Georgia Institute of Technology, USA | Conference website ↗Checked 2026-09-13 |
| Dirk Beyer | Program Committee | LMU Munich | Conference website ↗Checked 2026-09-13 |
| Mingshuai ChenIdentity not yet linked | Program Committee | Zhejiang University | 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 |
| Christoph Csallner | Program Committee | University of Texas at Arlington | Conference website ↗Checked 2026-09-13 |
| Meenakshi D'Souza | Program Co-Chair | IIITB - International Institute of Information Technology Bangalore | Conference website ↗Checked 2026-09-13 |
| Rayna DimitrovaIdentity not yet linked | Program Committee | CISPA, Germany | Conference website ↗Checked 2026-09-13 |
| Susanna DonatelliIdentity not yet linked | Program Committee | Università degli Studi di Torino | Conference website ↗Checked 2026-09-13 |
| Grigory FedyukovichIdentity not yet linked | Program Committee | Florida State University | Conference website ↗Checked 2026-09-13 |
| Hongfei Fu | Program Committee | Shanghai Jiao Tong University | Conference website ↗Checked 2026-09-13 |
| Orna GrumbergIdentity not yet linked | Program Committee | Technion – Israel Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Shibashis GuhaIdentity not yet linked | Program Committee | Tata Institute of Fundamental Research Mumbai | 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 |
| Frédéric HerbreteauIdentity not yet linked | Program Committee | Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800 Univ. Bordeaux · Institut Polytechnique de Bordeaux · CNRS · Laboratoire Bordelais de Recherche en Informatique | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Program Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Raghavan KomondoorIdentity not yet linked | Program Co-Chair | Indian Institute of Science | Conference website ↗Checked 2026-09-13 |
| Murali Krishna RamanathanIdentity not yet linked | Program Committee | AWS AI Labs | Conference website ↗Checked 2026-09-13 |
| Shankaranarayanan Krishna | Program Committee | IIT Bombay | Conference website ↗Checked 2026-09-13 |
| Orna KupfermanIdentity not yet linked | Program Committee | Hebrew University | Conference website ↗Checked 2026-09-13 |
| Milan Lopuhaä-ZwakenbergIdentity not yet linked | Program Committee | University of Twente | Conference website ↗Checked 2026-09-13 |
| Kumar MadhukarIdentity not yet linked | Program Committee | IIT Delhi | Conference website ↗Checked 2026-09-13 |
| Shahar Maoz | Program Committee | Tel Aviv University | Conference website ↗Checked 2026-09-13 |
| Umang Mathur | Program Committee | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Ashish MishraIdentity not yet linked | Program Committee | IIT Hyderabad | Conference website ↗Checked 2026-09-13 |
| Benjamin MonmegeIdentity not yet linked | Program Committee | Aix-Marseille Université | Conference website ↗Checked 2026-09-13 |
| Sergio Mover | Program Committee | Ecole Polytechnique | Conference website ↗Checked 2026-09-13 |
| Kartik Nagar | Program Committee | IIT Madras | Conference website ↗Checked 2026-09-13 |
| Daniel NeiderIdentity not yet linked | Program Committee | Technical University of Dortmund, Germany | Conference website ↗Checked 2026-09-13 |
| Youssouf OualhadjIdentity not yet linked | Program Committee | Université Paris Est - Créteil | 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 |
| Lauren PickIdentity not yet linked | Program Committee | The Chinese University of Hong Kong | Conference website ↗Checked 2026-09-13 |
| Sumanth PrabhuIdentity not yet linked | Program Committee | TCS Research | Conference website ↗Checked 2026-09-13 |
| M. PraveenIdentity not yet linked | Program Committee | Chennai Mathematical Institute | Conference website ↗Checked 2026-09-13 |
| Xiaokang Qiu | Program Committee | Purdue University | Conference website ↗Checked 2026-09-13 |
| Subhajit Roy | Program Committee | IIT Kanpur | Conference website ↗Checked 2026-09-13 |
| Prakash SaivasanIdentity not yet linked | Program Committee | The Institute of Mathematical Sciences, India | Conference website ↗Checked 2026-09-13 |
| Sriram SankaranarayananIdentity not yet linked | Program Committee | University of Colorado, Boulder | 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 |
| Arpit SharmaIdentity not yet linked | Program Committee | Indian Institute of Science Education and Research Bhopal | Conference website ↗Checked 2026-09-13 |
| B SrivathsanIdentity not yet linked | Program Co-Chair | Chennai Mathematical Institute | Conference website ↗Checked 2026-09-13 |
| Quentin Stiévenart | Program Committee | Université du Québec à Montréal | Conference website ↗Checked 2026-09-13 |
| Vaishnavi SundararajanIdentity not yet linked | Program Committee | IIT Delhi | Conference website ↗Checked 2026-09-13 |
| Nathalie SznajderIdentity not yet linked | Program Committee | Sorbonne Université, CNRS, LIP6 Sorbonne Université · CNRS · LIP6 | Conference website ↗Checked 2026-09-13 |
| Aditya V. Thakur | Program Committee | University of California at Davis | Conference website ↗Checked 2026-09-13 |
| Yakir VizelIdentity not yet linked | Program Committee | Technion—Israel Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Masaki WagaIdentity not yet linked | Program Committee | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Zhilin WuIdentity not yet linked | Program Committee | Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Institute of Software at Chinese Academy of Sciences · University of Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
Steering Committee
5 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Yu-Fang Chen | Steering Committee Member | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Yunja ChoiIdentity not yet linked | Steering Committee Member | Kyungpook National University | Conference website ↗Checked 2026-09-13 |
| Ichiro Hasuo | Steering Committee Member | National Institute of Informatics, Japan | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Steering Committee Member | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Doron PeledIdentity not yet linked | Steering Committee Member | Bar Ilan University | Conference website ↗Checked 2026-09-13 |