PC Chairs

Sergiy Bogomolov
Newcastle University,
UK

Raphael Jungers
UCLouvain,
Belgium

Repeatability Evaluation Chairs

Stanley Bak
Stony Brook University,
USA

Bardh Hoxha
Toyota Research Institute of North America,
USA

Publication Chair

Nikos Athanasopoulos
Queen’s University Belfast,
UK

Publicity Chair

Dorsa Sadigh
Stanford University,
USA

Demo/Poster Chair

Jana Tumova
KTH,
Sweden

Awards Chair

Antoine Girard
CNRS,
France

Steering Committee

Alessandro Abate
University of Oxford,
UK

Thao Dang
Verimag,
France

Martin Fränzle
Universität Oldenburg,
Germany

Radu Grosu
TU Wien,
Austria

Sayan Mitra
UIUC,
USA

Paulo Tabuada
UCLA,
USA

Claire Tomlin
University of California, Berkeley,
USA

Repeatability Evaluation Advisory Committee

Sergiy Bogomolov
Newcastle University,
UK

Bardh Hoxha
Toyota Research Institute of North America,
USA

Ian M. Mitchel
University of British Columbia,
Canada

Program Committee

Alessandro Abate
University of Oxford, UK

Erika Abraham
RWTH Aachen University, Germany

Matthias Althoff
Technical University of Munich, Germany

Étienne André
Université de Lorraine, France

Nikos Arechiga
Toyota Research Institute, USA

Nikolaos Athanasopoulos
Queen’s University Belfast, Northern Ireland

Christel Baier
TU Dresden, Germany

Stanley Bak
Stony Brook University, USA

Ezio Bartocci
Vienna University of Technology, Austria

Sergiy Bogomolov
Newcastle University, UK

Ana Cavalcanti
University of York, UK

Chih-Hong Cheng
DENSO, Germany

Samuel Coogan
Georgia Institute of Technology, USA

Thao Dang
CNRS/VERIMAG, France

Rayna Dimitrova
University of Sheffield, UK

Tommaso Dreossi
Amazon A9, USA

Gidon Ernst
LMU Munich, Germany

Chuchu Fan
MIT, USA

Goran Frehse
ENSTA Paris – U2IS, France

Shromona Ghosh
Waymo, USA

Christoph Grimm
TU Kaiserslautern, Germany

Joao Hespanha
UCSB, USA

Bardh Hoxha
Toyota Research Institute North America, USA

Susmit Jha
SRI International, USA

Raphaël Jungers
UCLouvain, Belgium

Maryam Kamgarpour
University of British Columbia, Canada

Shishir Kolathaya
Indian Institute of Science, India

Jan Kretinsky
Technical University of Munich, Germany

Kim Larsen
Aalborg University, Denmark

Martin Leucker
University of Lübeck, Germany

Daniel Liberzon
University of Illinois at Urbana-Champaign, USA

Alessio Lomuscio
Imperial College London, UK

Rupak Majumdar
MPI-SWS, Germany

Rahul Mangharam
University of Pennsylvania, USA

Matthieu Martel
Université de Perpignan Via Domitia , France

Manuel Mazo Jr.
Delft University of Technology, Netherlands

Stefano Minopoli
Raytheon Technologies, Italy

Dejan Nickovic
Austrian Institute of Technology, Austria

Gethin Norman
University of Glasgow, UK

Pierluigi Nuzzo
University of Southern California, USA

Joel Ouaknine
Max Planck Institute for Software Systems, Germany

Necmiye Ozay
University of Michigan, USA

Miroslav Pajic
Duke University, USA

Nicola Paoletti
“Royal Holloway, University of London”, UK

George Pappas
University of Pennsylvania, USA

David Parker
University of Birmingham, UK

Andreas Podelski
University of Freiburg, Germany

Giordano Pola
University of L’Aquila, Italy

Igor Potapov
University of Liverpool, UK

Pavithra Prabhakar
Kansas State University, USA

Maria Prandini
Polytechnic University of Milan, Italy

Sylvie Putot
École Polytechnique, France

Nacim Ramdani
Université d’Orléans, Bourges, France

Rajarshi Ray
Indian Association for the Cultivation of Science, India

Anne Remke
Westfälische Wilhelms-Universität Münster, Germany

David Safranek
Masaryk University, Czech Republic

Indranil Saha
Indian Institute of Technology Kanpur, India

Krishna Shankaranarayanan
Indian Institute of Technology, Bombay, India

Yasser Shoukry
University of Maryland, USA

Andrew Sogokon
University of Southampton, UK

Oleg Sokolsky
University of Pennsylvania, USA

Sadegh Soudjani
Newcastle University, UK

Paulo Tabuada
UCLA, USA

Walid Taha
Halmstad University, Sweden

Aneel Tanwani
LAAS — CNRS, France

Ashish Tiwari
Microsoft, USA

Ashutosh Trivedi
University of Colorado Boulder, USA

Jana Tumova
KTH Royal Institute of Technology, Sweden

Rafael Wisniewski
Aalborg University, Denmark

Verena Wolf
Saarland University, Germany

Bai Xue
Institute of Software, Chinese Academy of Sciences, China

Majid Zamani
University of Colorado Boulder,
USA

Naijun Zhan
Institute of Software, Chinese Academy of Sciences,
China

Aditya Zutshi
Galois Inc.,
USA

Repeatability Evaluation Program Committee

Stanley Bak
Stony Brook University, USA

James Baxter
University of York, UK

Alessandro Borri
CNR-IASI Biomathematics Laboratory, Italy

Mohammad Hekmatnejad
Arizona State University, USA

Bardh Hoxha
Toyota Research Institute North America, USA

Radoslav Ivanov
University of Pennsylvania, USA

Yiannis Kantaros
University of Pennsylvania, USA

Milad Kazemi
Newcastle University, UK

Nikolaos Kekatos
Univ. Grenoble Alpes, France

Mahmoud Khaled
Technical University of Munich, Germany

Sascha Klüppelholz
TU Dresden, Germany

Maximilian Kneissl
DENSO, Germany

Soonho Kong
Toyota Research Institute, USA

Ratan Lal
Kansas State University, USA

Ethan Lew
Galois Inc., USA

Shenyu Liu
UCSD, USA

Tobias Meggendorfer
Technical University of Munich, Germany

Marco Muniz
Aalborg University, Denmark

Daniel Ornia
TU Delft, Netherlands

Adina M. Panchea
“LIX, Cosynus team, Ecole Polytechnique”, France

Samuel Pastva
Masaryk University, Czech Republic

Mateo Perez
University of Colorado Boulder, USA

Edoardo Pirovano
Imperial College London, UK

Xin Qin
University of Southern California, USA

Fedor Shmarov
Newcastle University, UK

Pouria Tajvar
Ferdowsi University of Mashhad, Iran

Guosong Yang
“University of California, Santa Barbara”, USA

Junxing Yang
Stony Brook University, USA

Liren Yang
University of Michigan, USA

Xiaodong Yang
Vanderbilt University, USA