Committees
Program Chairs
Artifact Evaluation Chairs
Publicity Chair
- Jie An (Institute of Software, Chinese Academy of Sciences, CN)
- Marco Paolieri (University of Southern California, US)
QEST Steering Committee
- Erika Ábrahám (RWTH Aachen University, DE)
- Benoît Barbot (Université Paris-Est Créteil, FR)
- Ezio Bartocci (TU Vienna, AT)
- Jane Hillston (University of Edinburgh, UK)
- Nils Jansen (Ruhr University Bochum, DE)
- Diwakar Krishnamurthy (Calgary University, Canada)
- Andrea Marin (Università Ca’ Foscari Venezia, IT)
- Guillermo Alberto Perez (University of Antwerp, BE)
- Anne Remke (University of Muenster, DE)
- Enrico Vicario (chair, University of Florence, IT)
- Eugene Asarin (Université Paris Cité, FR)
- Martin Fränzle (chair, University of Oldenburg, DE)
- Joost-Pieter Katoen (RWTH Aachen Uni., DE)
- Kim G. Larsen (Aalborg University, DK)
- Oded Maler (1957-2018, founding chair, University of Grenoble, FR)
- Pavithra Prabhakar (Kansas State University, US)
- Mariëlle Stoelinga (TU Twente, NL)
- Wang Yi (Uppsala University, SE)
Program Committee
- Erika Ábrahám, RWTH Aachen University
- Étienne André, Nantes Université
- Giovanni Bacci, University of Aalborg
- Christel Baier, TU Dresden
- Ezio Bartocci, TU Wien
- Kevin Batz, UCL & University of Münster
- Lei Bu, Nanjing University
- Peter Buchholz, TU Dortmund
- Mingshuai Chen, Zhejiang University
- Pedro R. D’Argenio, Universidad Nacional de Córdoba
- Arnd Hartmanns, University of Twente
- Jane Hillston, The University of Edinburgh
- Benny van Houdt, University of Antwerp
- Antonio Jiménez-Pastor, Universidad Politécnica de Madrid
- Taylor T. Johnson, Vanderbilt University
- Sebastian Junges, Radboud University
- Christoph Matheja, University of Oldenburg
- Tobias Meggendorfer, Lancaster University Leipzig
- Francesca Randone, TU Wien
- Anne Remke, WWU Münster
- Sabina Rossi, Università Ca’ Foscari Venezia
- Ramin Sadre, Université catholique de Louvain
- Sriram Sankaranarayanan, University of Colorado Boulder
- Ocan Sankur, CNRS & Mitsubishi Electric
- Christian Schilling, Aalborg University
- Zhikun She, Beihang University
- Sadegh Soudjani, Birmingham University & MPI
- Miklos Telek, Budapest University of Technology and Economics
- Mirco Tribastone, IMT Lucca
- Max Tschaikowski, Sapienza University Rome
- Andrea Vandin, SSSA Pisa & DTU Copenhagen
- Enrico Vicario, University of Florence
- Mahesh Viswanathan, University of Illinois at Urbana-Champaign
- Masaki Waga, Kyoto University
- Kazuki Watanabe, National Institute of Informatics of Japan
- Verena Wolf, Saarland University
- Naijun Zhan, Peking University
- Paolo Zuliani, Sapienza University Rome
Artifact Evaluation Committee
- Adityo Anggraito, Università Ca’ Foscari Venezia
- Hrishikesh Balakrishnan, University of Illinois Urbana-Champaign
- Ernesto Casablanca, Newcastle University
- Nabarun Deka, University of Illinois Urbana-Champaign
- Gabriel Dengler, Saarland University
- Marco Esposito, Università di Roma La Sapienza
- Emanuele Guerrazzi, Sant’Anna School of Advanced Studies
- Gokul Hariharan, Intel
- Chris Johannsen, Iowa State University
- Kentaro Kobayashi, University of Tsukuba & AIST
- Martin Kristjansen, Aalborg University
- Maurice Laveaux, Eindhoven University of Technology
- Marco Lewis, INRIA
- Yuntao Li, University of Florida
- Luko van der Maas, Radboud University
- Dylan Marinho, Sorbonne Université
- Nausheen Mohammed, University of Illinois Urbana-Champaign
- Diletta Olliaro, Università Ca’ Foscari Venezia
- Simone Pernice, University of Turin
- Leonardo Picchiami, Sapienza University Rome
- Lisa Willemsen, University of Twente
- Eshita Zaman, Iowa State University