Programme Committee ATVA 2025

S. Akshay

Étienne André

Université Sorbonne Paris Nord; LIPN; CNRS

France

Guy Avni

University of Haifa

Austria

Gogul Balakrishnan

Google

United States

A. R. Balasubramanian

Technical University of Munich

Germany

Ansuman Banerjee

India Indian Statistical Institute http://www.isical.ac.in/~ansuman

Suguman Bansal

Georgia Institute of Technology, USA

United States

Dirk Beyer

LMU Munich

Germany

Mingshuai Chen

Zhejiang University

China

Yu-Fang Chen

Academia Sinica

Taiwan

Yunja Choi

Kyungpook National University

South Korea

Christoph Csallner

University of Texas at Arlington

United States

Meenakshi D'Souza Program Co-Chair

IIITB - International Institute of Information Technology Bangalore

India

Rayna Dimitrova

CISPA, Germany

Germany

Susanna Donatelli

Università degli Studi di Torino

Italy

Grigory Fedyukovich

Florida State University

United States

Hongfei Fu

Shanghai Jiao Tong University

China

Orna Grumberg

Technion – Israel Institute of Technology

Shibashis Guha

Tata Institute of Fundamental Research Mumbai

India

Ashutosh Gupta

Ichiro Hasuo

National Institute of Informatics, Japan

Japan

Frédéric Herbreteau

Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800

France

Jie-Hong Roland Jiang

National Taiwan University

Raghavan Komondoor Program Co-Chair

Indian Institute of Science, India

India

Murali Krishna Ramanathan

AWS AI Labs

United States

Shankaranarayanan Krishna

IIT Bombay, India

Orna Kupferman

Hebrew University

Israel

Milan Lopuhaä-Zwakenberg

University of Twente

Kumar Madhukar

IIT Delhi

India

Shahar Maoz

Tel Aviv University

Israel

Umang Mathur

National University of Singapore

Singapore

Ashish Mishra

IIT Hyderabad

India

Benjamin Monmege

Aix-Marseille Université

France

Sergio Mover

Ecole Polytechnique

France

Kartik Nagar

IIT Madras

India

Daniel Neider

Technical University of Dortmund, Germany

Germany

Youssouf Oualhadj

Université Paris Est - Créteil

France

Andreas Pavlogiannis

Aarhus University

Denmark

Doron Peled

Bar Ilan University

Israel

Lauren Pick

The Chinese University of Hong Kong

Hong Kong SAR China

Sumanth Prabhu

TCS Research

M. Praveen

Laboratoire de Recherche en Informatique

France

Xiaokang Qiu

Purdue University

United States

Subhajit Roy

IIT Kanpur

India

Prakash Saivasan

The Institute of Mathematical Sciences, India

Sriram Sankaranarayanan

University of Colorado, Boulder

United States

Anne-Kathrin Schmuck

Max Planck Institute for Software Systems

Germany

Arpit Sharma

Indian Institute of Science Education and Research Bhopal

India

B Srivathsan Program Co-Chair

Chennai Mathematical Institute

India

Quentin Stiévenart

Université du Québec à Montréal

Canada

Vaishnavi Sundararajan

IIT Delhi

India

Nathalie Sznajder

Sorbonne Université, CNRS, LIP6

France

Aditya V. Thakur

University of California at Davis

United States

Yakir Vizel

Technion—Israel Institute of Technology

Israel

Masaki Waga

Kyoto University

Japan

Zhilin Wu

Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

China