Steering Committee SAS

Cezara Drăgoi Co-chair

AWS / ENS

Kedar Namjoshi Co-chair

Nokia Bell Labs

United States

Patrick Cousot

Roberto Giacobazzi

University of Arizona

United States

Alessandra Gorla

IMDEA Software Institute

Spain

Manuel Hermenegildo

Technical University of Madrid (UPM) and IMDEA Software Institute

Spain

José Morales

IMDEA Software Institute

Spain

Hakjoo Oh

Korea University

South Korea

Gagandeep Singh

University of Illinois at Urbana-Champaign, USA

United States

Yulei Sui

University of New South Wales

Australia

Caterina Urban

Inria - École Normale Supérieure

France