Committees
General Chairs
- Sean Kauffman (Queen’s University, Canada)
- Giulia Pedrielli (Arizona State University, USA)
Publicity Chair
- Lars Lindemann (ETH Zurich, Switzerland)
Technical Program Committee
- Qi Heng Ho (University of Colorado Boulder)
- Violet Ka I Pun (Western Norway University of Applied Sciences, Norway)
- Taylor T Johnson (Vanderbilt University)
- Ashutosh Trivedi (University of Colorado Boulder)
- Pierre-Martin Tardif (Universite de Sherbrooke)
- Masaki Waga (Kyoto University)
- Lars Lindemann (ETH Zürich)
- Teng Zhang (Aptos Labs)
- Bettina Könighofer (Graz University of Technology)
- Konstantinos Mamouras (Rice University)
- Dmitriy Traytel (University of Copenhagen)
- Francesca Cairoli (University of Trieste)
- Houssam Abbas (Oregon State University)
- Luis Garcia (University of Utah)
- Xin Qin (California State University, Long Beach)
- Ivan Ruchkin (University of Florida)
- Borzoo Bonakdarpour (Michigan State University)
- Zhe Xu (The University of Texas at Austin)
- Pierluigi Nuzzo (University of Southern California)
- Muslum Ozgur Ozmen (Arizona State University)
- Erika Abraham (RWTH Aachen University)
- Alberto Speranzon (Lockheed Martin Advanced Technology Labs)
- Dejan Nickovic (Austrian Institute of Technology AIT)
- Mauricio Castillo-Effen (Lockheed Martin Advanced Technology Laboratories)
- Inigo Incer (University of Michigan)
- Stefan Mitsch (DePaul University)
- Martin Leucker (University of Luebeck)
- Chih-Hong Cheng (Chalmers University of Technology)
- Changshun Wu (Université Grenoble Alpes)
- Jan Kretinsky (Masaryk University)
- Oleg Sokolsky (University of Pennsylvania)
- Corina Pasareanu (CMU, NASA, KBR)
- Kim Guldstrand Larsen (Computer Science, Aalborg University)
- Michele Chiari (TU Wien)
- Claudio Menghi (University of Bergamo)
- Gordon Pace (University of Malta)
- Cesar Sanchez (IMDEA Software Institute)
- Nicola Paoletti (Department of Informatics, King’s College London)
- Laura Nenzi (University of Trieste)
- Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)
- Daniel Fremont (University of California, Santa Cruz)
- Bardh Hoxha (Toyota Research Institute of North America)
- Jyotirmoy Deshmukh (University of Southern California)
- Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology)
- Ezio Bartocci (TU Wien)
- Gerardo Schneider (Chalmers University of Technology and University of Gothenburg)
- Anna Lukina (TU Delft)
- Hua Wei (Arizona State University)
- Sylvain Hallé (Université du Québec à Chicoutimi)
- Sebastian Junges (Radboud University)
- Doron Peled (Bar Ilan University)
- Pavithra Prabhakar (University of New Mexico)
- Alessandro Pinto (NASA Jet Propulsion Laboratory)
