Program Committee SAS

Gogul Balakrishnan

Google

United States

Yu-Fang Chen

Academia Sinica, Taiwan

Patrick Cousot

Michael Emmi

Amazon Web Services

United States

Pietro Ferrara

Università Ca' Foscari, Venezia, Italy

Italy

Roberto Giacobazzi

University of Verona

Italy

Manuel Hermenegildo

Technical University of Madrid (UPM) and IMDEA Software Institute

Spain

Francesco Logozzo

Facebook

United States

Isabella Mastroeni

University of Verona, Italy

Italy

Antoine Miné

Sorbonne Université

France

José Morales

IMDEA Software Institute

Kedar Namjoshi

Nokia Bell Labs

United States

Jorge A. Navas

Certora, inc.

United States

Helmut Seidl

Technische Universität München

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

Yulei Sui

University of New South Wales, Sydney

Australia

Laura Titolo

NIA/NASA LaRC

United States

Jingling Xue

UNSW Sydney

Australia

Xin Zhang

Peking University

China