Program Committee

• Alessandro Abate, University of Oxford, UK

• Erika Abraham, RWTH Aachen University, Germany

• Matthias Althoff, TU München, Germany

• Ebru Aydin Gol, Middle East Technical University, Turkey

• Christel Baier, TU Dresden, Germany

• Stanley Bak, Safe Sky Analytics, USA

• Sergiy Bogomolov, Australian National University, Australia

• Samuel Coogan, Georgia Institute of Technology, USA

• Jonathan DeCastro, Toyota Research Institute, USA 

• Jyotirmoy Deshmukh, University of Southern California, USA 

• Ruediger Ehlers, University of Bremen, Germany 

• Lu Feng, University of Virginia, USA 

• Goran Frehse, Université Grenoble Alpes, France

• Jie Fu, Worcester Polytechnic Institute, USA 

• Sicun Gao, UC San Diego, USA 

• Miriam Garcia Soto, IST Austria, Austria 

• Khalil Ghorbal, Inria, France 

• Ichiro Hasuo, University of Tokyo, Japan

• Joao Hespanha, UC Santa Barbara, USA

• Jianghai Hu, Purdue University, USA

• Franjo Ivancic, Google, USA

• Jean-Baptiste Jeannin, University of Michigan, USA

• Taylor T Johnson, Vanderbilt University, USA

• Raphael Jungers, UC Louvain, Belgium

• Maryam Kamgarpour, ETH Zurich, Switzerland

• James Kapinski, Toyota, USA 

• Atreyee Kundu, IISc Bangalore, India

• Jerome Le Ny, Polytechnique Montreal, Canada

• Jun Liu, University of Waterloo, Canada 

• Rupak Majumdar, Max Planck Institute, Germany 

• Ian Mitchell, University of British Columbia, Canada 

• Dejan Nickovic, Austrian Institute of Technology, Austria

• Meeko Oishi, University of New Mexico, USA

• Michael Posa, University of Pennsylvania, USA

• Maria Prandini, Politecnico di Milano, Italy

• Akshay Rajhans, MathWorks, USA

• Vasumathi Raman, Nuro, USA

• Matthias Rungger, ABB, Germany

• Dorsa Sadigh, Stanford University, USA

• Ricardo Sanfelice, UC Santa Cruz, USA

• Sriram Sankaranarayanan, University of Colorado Boulder, USA

• Sanjit Seshia, UC Berkeley, USA

• Krishna Shankaranarayanan, IIT Bombay, India

• Zhikun She, Beihang University, China

• Ashish Tiwari, Microsoft, USA

• Ashutosh Trivedi, University of Colorado Boulder, USA

• Jana Tumova, Royal Institute of Technology, Sweden

• Mahesh Viswanathan, University of Illinois at Urbana-Champaign, USA

• Rafael Wisniewski, Aalborg University, Denmark

• Majid Zamani, TU München, Germany

Organizing committee

• Program Committee Chairs

  • Necmiye Ozay, University of Michigan, USA

  • Pavithra Prabhakar, Kansas State University, USA

• Publicity Chair

  • Taylor T. Johnson, Vanderbilt University, USA

• Repeatability Evaluation Chair

  • Sergiy Bogomolov, Australian National University, Australia

Steering committee

• Rajeev Alur, University of Pennsylvania, USA

• Werner Damm, OFFIS, Germany

• Martin Fränzle, Univ. of Oldenburg, Germany

• John Lygeros, ETH Zurich, Switzerland

• Oded Maler, Verimag, France

• Paulo Tabuada, UCLA, USA

• Claire Tomlin, University of California Berkeley, USA