Program Committee / Competition Jury
"The competition jury consists of the chair and one member of each participating team; the team-representing members circulate every year after the candidate-submission deadline. This committee reviews the competition contribution papers and helps the organizer with resolving any disputes that might occur." [Competition Report for SV-COMP 2013]
In more detail, the tasks of the jury comprises the following:
- Each jury member who participates in the competition is assigned a number of (3 or 4) submissions (papers and systems) to review.
- Participating systems are reviewed to determine whether they fulfill the requirements for verifier archives, based on the archives submitted to the repository.
- Teams and paper submissions are reviewed to verify the requirements for qualification, based on the submission data and paper in EasyChair and the results of the qualification runs.
- Some qualified competition candidates are selected to publish (in the LNCS proceedings of TACAS) a contribution paper that gives an overview of the participating system.
- Help the organizer with discussing and resolving any disputes that might occur.
- Adhere to the deadlines with all the duties.
Jury from November 26, 2025 (updated on February 15, 2026)
(sorted by verifier name)
- Dirk Beyer (Co-Chair), LMU Munich, Germany
- Jan Strejček (Co-Chair), Masaryk University, Czechia
- Zhenbang Chen (representing aise), National University of Defense Technology, China
- Nils Lommen (representing AProVE (KoAT + LoAT)), RWTH Aachen, Germany
- Lei Bu (representing BRICK), Nanjing University, China
- Zsófia Ádám (representing ConcurrentWitness2Test (validator)), Budapest University of Technology and Economics, Hungary
- Vesal Vojdani (representing CoOpeRace), University of Tartu, Estonia
- Marek Jankola (representing CPAchecker), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing CPAchecker (validator)), LMU Munich, Germany
- Po-Chun Chien (representing CPV), LMU Munich, Germany
- Omar Inverso (representing CSeq), Gran Sasso Science Institute, Italy
- Hernán Ponce de León (representing Dartagnan (validator)), Huawei Dresden Research Center, Germany
- Hernán Ponce de León (representing Dartagnan), Huawei Dresden Research Center, Germany
- Felix Maechtle (representing DASA), University of Luebeck, Germany
- Fei He (representing Deagle), Tsinghua University, China
- Levente Bajczi (representing EmergenTheta), Budapest University of Technology and Economics, Hungary
- Xianzhiyu Li (representing ESBMC-incr), University of Manchester, UK
- Xianzhiyu Li (representing ESBMC-kind), University of Manchester, UK
- Naïm Moussaoui Remil (representing ReFuncTion), Inria Paris and École Normale Supérieure, France
- Malte Mues (representing GDart), Bergische Universität Wuppertal, Germany
- Simmo Saan (representing Goblint (validator)), University of Tartu, Estonia
- Simmo Saan (representing Goblint), University of Tartu, Estonia
- Ali Rasim Kocal (representing Goblint-Par (unqualified)), Technische Universität München, Germany
- Karoliine Holter (representing Goblitch), University of Tartu, Estonia
- Martin Blicha (representing Hornix), Charles University, Czechia
- Paolo Di Biase (representing iekke), Unimol, Italy
- Hassan Mousavi (representing JayHorn), University of Tehran and Tehran Institute for Advanced Studies, Iran
- Peter Schrammel (representing JBMC), Diffblue, UK
- Giacomo Zanatta (representing JLiSA), Ca' Foscari University of Venice, Italy
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing LIV (validator)), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing MetaVal (validator)), LMU Munich, Germany
- Lei Bu (representing MLB), Nanjing University, China
- Raphaël Monat (representing Mopsa (validator)), Inria and University of Lille, France
- Raphaël Monat (representing Mopsa), Inria and University of Lille, France
- Hiroshi Unno (representing MuVal), Tohoku University, Japan
- Henrik Wachowitz (representing Nacpa), LMU Munich, Germany
- Zuchao Yang (representing OGChecker), Xidian University, China
- Ravindra Metta (representing PROTON), Tata Consultancy Services, India
- Gidon Ernst (representing PySvLib-CHC), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing PySvLib-Validator (validator)), LMU Munich, Germany
- Tomáš Dacík (representing RacerF), Brno University of Technology, Czechia
- Adéla Štěpková (representing Re3ver), Masaryk University, Brno, Czechia
- Tomáš Dacík (representing SEAL), Brno University of Technology, Czechia
- Matthew Richards (representing SVF-SVC), University of New South Wales, Australia
- Marian Lingsch-Rosenfeld (representing SvLibChecker), LMU Munich, Germany
- Simmo Saan (representing SV-sanitizers), University of Tartu, Estonia
- Nils Loose (representing SWAT), University of Luebeck, Germany
- Martin Jonáš (representing Symbiotic), Masaryk University, Brno, Czechia
- Csanád Telbisz (representing Theta), Budapest University of Technology and Economics, Hungary
- Levente Bajczi (representing Theta (validator)), Budapest University of Technology and Economics, Hungary
- Levente Bajczi (representing Thorn), Budapest University of Technology and Economics, Hungary
- Marcel Ebbinghaus (representing UAutomizer (validator)), University of Freiburg, Germany
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Dominik Klumpp (representing UGemCutter (validator)), University of Freiburg, Germany
- Dominik Klumpp (representing UGemCutter), University of Freiburg, Germany
- Manuel Bentele (representing UKojak), University of Freiburg, Germany
- Max Barth (representing UParalizer), LMU Munich, Germany
- Frank Schüssele (representing UReferee (validator)), University of Freiburg, Germany
- Daniel Dietsch (representing UTaipan), University of Freiburg, Germany
- Tong Wu (representing Wit4Java (validator)), University of Manchester, UK
- Paulína Ayaziová (representing Witch (validator)), Masaryk University, Brno, Czechia
Jury from October 12, 2024
(sorted by verifier name)
- Dirk Beyer (Co-Chair), LMU Munich, Germany
- Jan Strejček (Co-Chair), Masaryk University, Czechia
- Viktor Malík (representing 2LS), Brno University of Technology, Czechia
- Zhenbang Chen (representing aise), National University of Defense Technology, China
- Nils Lommen (representing AProVE (KoAT + LoAT)), RWTH Aachen, Germany
- Lei Bu (representing BRICK), Nanjing University, China
- Marek Chalupa (representing Bubaak), ISTA, Austria
- Marek Chalupa (representing Bubaak-SpLit), ISTA, Austria
- Zsófia Ádám (representing ConcurrentWitness2Test), Budapest University of Technology and Economics, Hungary
- Vesal Vojdani (representing CoOpeRace), University of Tartu, Estonia
- Marian Lingsch-Rosenfeld (representing CPAchecker), LMU Munich, Germany
- Po-Chun Chien (representing CPV), LMU Munich, Germany
- Hernán Ponce de León (representing Dartagnan), Huawei Dresden Research Center, Germany
- Fei He (representing Deagle), Tsinghua University, China
- Levente Bajczi (representing EmergenTheta), Budapest University of Technology and Economics, Hungary
- Tong Wu (representing ESBMC-incr), University of Manchester, UK
- Tong Wu (representing ESBMC-kind), University of Manchester, UK
- Falk Howar (representing GDart), TU Dortmund, Germany
- Simmo Saan (representing Goblint), University of Tartu, Estonia
- Martin Blicha (representing Hornix), University of Lugano, Switzerland
- Soha Hussein (representing Java-Ranger), Ain Shams University, Egypt
- Peter Schrammel (representing JBMC), Diffblue, UK
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing LIV), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing MetaVal++), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing MetaVal), LMU Munich, Germany
- Lei Bu (representing MLB), Nanjing University, China
- Raphaël Monat (representing Mopsa), Inria and University of Lille, France
- Henrik Wachowitz (representing Nacpa), LMU Munich, Germany
- Ravindra Metta (representing PROTON), Tata Consulting Services, India
- Tomáš Dacík (representing RacerF), Brno University of Technology, Czechia
- Matthew Richards (representing SVF-SVC), University of New South Wales, Australia
- Simmo Saan (representing sv-sanitizers), University of Tartu, Estonia
- Nils Loose (representing SWAT), University of Luebeck, Germany
- Martin Jonáš (representing Symbiotic), Masaryk University, Brno, Czechia
- Paulína Ayaziová (representing Symbiotic-Witch), Masaryk University, Brno, Czechia
- Levente Bajczi (representing Theta), Budapest University of Technology and Economics, Hungary
- Levente Bajczi (representing Thorn), Budapest University of Technology and Economics, Hungary
- Marcel Ebbinghaus (representing UAutomizer), University of Freiburg, Germany
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Dominik Klumpp (representing UGemCutter), University of Freiburg, Germany
- Manuel Bentele (representing UKojak), University of Freiburg, Germany
- Frank Schüssele (representing UReferee), University of Freiburg, Germany
- Daniel Dietsch (representing UTaipan), University of Freiburg, Germany
- Tong Wu (representing Wit4Java), University of Manchester, UK
- Paulína Ayaziová (representing Witch), Masaryk University, Brno, Czechia