Program Committee VMCAI

Shankaranarayanan Krishna PC Chair

IIT Bombay, India

Sriram Sankaranarayanan PC Chair

University of Colorado, Boulder

United States

Ashutosh Trivedi PC Chair

University of Colorado Boulder

United States

Parosh Aziz Abdulla

Uppsala University, Sweden

Elli Anastasiadi

Uppsala University

Sweden

Haniel Barbosa

Universidade Federal de Minas Gerais, Brazil

Brazil

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Soham Chakraborty

TU Delft

Netherlands

Xin Chen

University of New Mexico, USA

United States

Patrick Cousot

Loris D'Antoni

UCSD

United States

Vijay D'Silva

Google Inc.

Deepak D'Souza

IISc Bangalore

India

Jyotirmoy Deshmukh

University of Southern California

Roberto Giacobazzi

University of Arizona

United States

Amir Kafshdar Goharshady

Hong Kong University of Science and Technology

Hong Kong

Priyanka Golia

Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore

Eric Goubault

Ecole Polytechnique

Shibashis Guha

Tata Institute of Fundamental Research, India

India

Ashutosh Gupta

Indian Institute of Technology Bombay

India

Franjo Ivancic

Google

United States

Marie-Christine Jakobs

LMU Munich, Germany

Germany

Sumit Jha

Florida International University, USA

United States

Katherine Kosaian

University of Iowa

Jan Kretinsky

Masaryk University, Czech Republic

Viktor Kunčak

EPFL, Switzerland

Switzerland

Kaushik Mallik

IST Austria, Austria

Austria

Ravi Mangal

Colorado State University

United States

Eric Mercer

Brigham Young University

United States

Roland Meyer

TU Braunschweig

Germany

Antoine Miné

Sorbonne Université

France

Sergio Mover

École Polytechnique

France

Koko Muroya

NII

Japan

Ana Oliveira Da Costa

IST Austria, Austria

Austria

Andreas Pavlogiannis

Aarhus University

Denmark

Andreas Podelski

University of Freiburg

Germany

Vinayak Prabhu

Colorado State University

United States

Xavier Rival

Inria; ENS; CNRS; PSL University

France

Philipp Rümmer

University of Regensburg and Uppsala University

Sven Schewe

University of Liverpool

Subodh Sharma

IIT Delhi

India

Fabio Somenzi

University of Colorado Boulder, USA

Meera Sridhar

University of North Carolina Charlotte, USA

B Srivathsan

Chennai Mathematical Institute

India

Aditya V. Thakur

University of California at Davis

United States

Saeid Tizpaz-Niari

University of Texas at El Paso

United States

Chao Wang

University of Southern California

United States

Piotr Wojciechowski

West Virginia University, USA

United States

Dominik Wojtczak

Zhen Zhang

Utah State University

United States

Đorđe Žikelić

Singapore Management University, Singapore

Singapore