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
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
Bahman Gharesifard
UCLA, USA
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
Posters/Demos PC members
Tzanis Anevlavis
University of California,
USA
Guillaume Berger
UCLouvain,
Belgium
James Ferlez
University of California,
USA
Radoslav Ivanov
University of Pennsylvania,
USA
Pushpak Jagtap
KTH Royal Institute of Technology,
Sweden
Niklas Kochdumper
Technical University of Munich,
Germany
Taisa Kushner
University of Colorado – Boulder,
USA
Kaushik Mallik
Max Planck Institute for Software Systems,
Germany
Masaki Waga
Kyoto University,
Japan
Shakiba Yaghoubi
Arizona State University,
USA
