Organization Committee

This page acknowledges all members of the organization committee.
Many others contributed to the success of SV-COMP.

Chairs

Dirk Beyer, LMU Munich, Germany
Jan Strejček, Masaryk University, Brno, Czechia

Benchmark Quality Assurance

Zsófia Ádám, Budapest University of Technology and Economics, Hungary
Raphaël Monat, Inria and University of Lille, France
Simmo Saan, University of Tartu, Estonia
Frank Schüssele, University of Freiburg, Germany

Benchmark Categories

Thomas Lemberger, LMU Munich, Germany

Infrastructure

Philipp Wendler, LMU Munich, Germany (BenchExec)
Po-Chun Chien, LMU Munich, Germany (BenchCloud)
Marek Jankola, LMU Munich, Germany (BenchCloud)
Henrik Wachowitz, LMU Munich, Germany (FM-Weck)
Matthias Kettl, LMU Munich, Germany (Competition Scripts)
Marian Lingsch-Rosenfeld, LMU Munich, Germany (WitnessLint)

Reproducibility

Levente Bajczi, Budapest University of Technology and Economics, Hungary

Qualification

Paulína Ayaziová, Masaryk University, Brno, Czechia
Matthias Heizmann, University of Freiburg, Germany
Marian Lingsch-Rosenfeld, LMU Munich, Germany
Felix Mächtle, University of Lübeck, Germany
Raphaël Monat, Inria and University of Lille, France
Malte Mues, University of Wuppertal, Germany
Jan-Niclas Serr, University of Lübeck, Germany