ListOfContributors

Note: This list may be incomplete!

Most Ultimate developers are students and researchers in the software engineering group of Andreas Podelski at the University of Freiburg. Current and former developers of Ultimate are

• Alexander Nutz (University of Freiburg)
• Alex Saukh (web interface, CDT interface, CACSL2Boogie, Büchi minimization)
• Arend v. Reinersdorff (predecessor of ULTIMATE)
• Betim Musa (automata script, interpolants from unsatisfiable cores, incremental proof generation, interpolant consolidation)
• Björn Buchhold (predecessor of ULTIMATE, the 2.0 version)
• Björn Hagemeister (DFA minimization)
• Claus Schätzle (procedure inlining, abstract interpretation octagon domain)
• Chen Kefei (nested interpolants)
• Christian Ortolf (predecessor of ULTIMATE)
• Christian Schilling (University of Freiburg)
• Christian Simon (predecessor of ULTIMATE, the 2.0 version)
• Christoph Hofmann (Ultimate in the cloud)
• David Zschocke (invariant synthesis)
• Daniel Dietsch (University of Freiburg)
• Daniel Christiany (NWA)
• Daniel Tischner (random automata, DFA minimization, Büchi minimization, NWA minimization)
• Daniel Wadehn (delta debugger)
• Dirk Steinmetz (invariant synthesis)
• Dominik Nuber (floating point)
• Evren Ermis (University of Freiburg)
• Fabian Reiter (Büchi complementation)
• Frank Schüssele (abstract interpretation congruence domain, map elimination)
• German Fordinal (Webinterface)
• Jan Leike (University of Freiburg) (NWA, LassoRanker)
• Jan Hättig (total interpolation, abstract interpretation polyhedra domain)
• Jan Mortensen (NWA, Petri nets)
• Jeffery Hsu (incremental inclusion)
• Jens Stimpfle (NWA minimization)
• Jelena Barth (University of Freiburg) (Jung visualization)
• Jeremi Dzienian (Temporal Properties)
• Julian Jarecki (Petri nets)
• Jochen Hoenicke (University of Freiburg)
• Jürgen Christ (University of Freiburg)
• Justus Bisser
• Layla Franke (DFA minimization)
• Marc Fuchs (multi-step automata)
• Markus Lindenmann (web interface, CDT interface, CACSL2Boogie, Büchi minimization, C memory model)
• Markus Pomrehn (formula simplification, alternating automata)
• Markus Zeiger (NWA, E-Matching)
• Marius Greitschus (University of Freiburg)
• Matthias Heizmann (University of Freiburg)
• Matthias Keil (Prefuse visualization)
• Maximilian Rohland (floating point)
• Nicola Sheldrick (predecessor of ULTIMATE)
• Numair Mansur (fault localization)
• Robert Jakob (predecessor of ULTIMATE)
• Saskia Rabald (multi-step automata)
• Simon Ley (IC3)
• Stefan Wissert (Web interface, CDT interface, CACSL2Boogie, IValuations, large block encoding)
• Thomas Lang (loop complexity, bitvectors)
• Tobias Grugel (tree automata)
• Vincent Langenfeld (University of Freiburg)
• Xiaolin Wu (Büchi NWA emptiness check, Büchi NWA complementation)
• Yu-Wen Chen (alias analysis)