banner
qest logo
Chairs and Committees

General Chair
Gethin Norman, University of Glasgow, UK

Program Co-chairs
David Parker, University of Birmingham, UK
Verena Wolf, Saarland University, DE

Publicity Chair
Michele Sevegnani, University of Glasgow, UK

Steering Committee
Alessandro Abate, University of Oxford, UK
Luca Bortolussi, University of Trieste, IT
Javier Campos, Universidad Zaragoza ES
Josée Desharnais, Université Laval, CA
Jane Hillston, University of Edinburgh, UK *
Joost-Pieter Katoen, RWTH Aachen Uni., DE
Rupak Majumdar, Max Planck Institute for Software Systems, DE
Andrea Marin, University of Venezia, IT
Annabelle McIver, Macquarie University, AU
Enrico Vicario, University of Florence, IT
Katinka Wolter, FU Berlin, DE
Lijun Zhang, Chinese Academy of Sciences, CH

  * steering committee chair
Program Committee
Alessandro Abate, University of Oxford, UK
Ezio Bartocci, Technische Universität Wien, AT
Luca Bortolussi, University of Trieste, IT
Doina Bucur, University of Twente, NL
Milan Ceska, Brno University of Technology, CZ
Krishnendu Chatterjee, IST Austria, AT
Pedro D'Argenio, Universidad Nacional de Córdoba, AR
Yuxin Deng, East China Normal University, CN
Susanna Donatelli, Università degli Studi di Torino , IT
Lu Feng, University of Virginia, US
Jean-Michel Fourneau, Université de Versailles Saint Quentin, FR
Martin Fränzle, University of Oldenburg, DE
Marco Gribaudo, University of Turin, IT
Arnd Hartmanns, University of Twente, NL
Nils Jansen, Radboud University Nijmegen, NL
Benjamin Kaminski, RWTH Aachen University, DE
Rupak Majumdar, Max Planck Institute for Software Systems, DE
Radu Mardare, Aalborg University, DK
Andrea Marin, University of Venezia, IT
Marco Paolieri, University of Southern California, US
David Parker, University of Birmingham, UK
Pavithra Prabhakar, Kansas State University, US
Anne Remke, Westfälische Wilhelms-Universität, DE
Kristin Y. Rozier, Iowa State University, US
Guido Sanguinetti, University of Edinburgh, UK
Michele Sevegnani, University of Glasgow, UK
Markus Siegle, Bundeswehr University Munich, DE
Jeremy Sproston, University of Turin, IT
Miklós Telek, Technical University of Budapest, HU
Mirco Tribastone, IMT School for Advanced Studies Lucca, IT
Benny Van Houdt, University of Antwerp, BE
Verena Wolf, Saarland University, DE
Lijun Zhang, Chinese Academy of Sciences, CN