Artifact Evaluation Committee
Pranav Ashok
TU Munich, Germany
Peter Backeman
Uppsala University, Sweden
Ismail Lahkim Bennani
Inria, France
Carlos E. Budde
University of Twente, The Netherlands
Karlheinz Friedberger
LMU Munich, Germany
Arnd Hartmanns (Chair)
University of Twente, The Netherlands
Jannik Hüls
Westfälische Wilhelms-Univ. Münster, Germany
Ahmed Irfan
Stanford University, USA
Martin Jonas
Masaryk University, Czech Republic
William Kavanagh
University of Glasgow, UK
Brian Kempa
Iowa State University, USA
Michaela Klauck
Universität des Saarlandes, Germany
Sascha Klüppelholz
TU Dresden, Germany
Bettina Könighofer
TU Graz, Austria
Sophie Lathouwers
University of Twente, The Netherlands
Florian Lonsing
Stanford University, USA
Juraj Major
Masaryk University, Czech Republic
Tobias Meggendorfer
TU Munich, Germany
Vince Molnar
Budapest Univ. of Tech. and Economics, Hungary
Alnis Murtovi
TU Dortmund, Germany
Chris Novakovic
University of Birmingham, UK
Nicola Paoletti
Royal Holloway University of London, UK
Tim Quatmann
RWTH Aachen University, Germany
Martina Seidl (Chair)
Johannes Kepler University Linz, Austria
Leander Tentrup
Universität des Saarlandes, Germany
Freark van der Berg
University of Twente, The Netherlands
Marcell Vazquez-Chanlatte
University of California at Berkeley, USA
Matthias Volk
RWTH Aachen University, Germany
Petar Vukmirovic
Vrije Universiteit Amsterdam, The Netherlands
Maximilian Weininger
TU Munich, Germany
SV-COMP – Program Committee and Jury
Dirk Beyer (Chair)
LMU Munich, Germany
Viktor Malík (2LS)
BUT Brno, Czech Republic
Lei Bu (BRICK)
Nanjing University, China
Michael Tautschnig
(CBMC)
Amazon Web Services, UK
Willem Visser (COASTAL) Stellenbosch University, South Africa
Vadim Mutilin
(CPA-BAM-BnB)
ISP RAS, Russia
Martin Spiessl (CPA-Seq)
LMU Munich, Germany
Pavel Andrianov
(CPALockator)
ISP RAS, Russia
xii
Organization