Dissertation ausgezeichnet

Dominik Schreiber erhält für seine Dissertation "Scalable SAT Solving and its Application" zwei Auszeichnungen: zum einen den gemeinsamen Dissertationspreis der Gesellschaft für Informatik, der Österreichischen Computergesellschaft und der Schweizer Informatik Gesellschaft, und zum anderen den Fahiem Bacchus PhD Award in Satisfiability.

Die am Lehrstuhl von Prof. Sanders entstandene Dissertation behandelt parallele und verteilte Lösungsansätze für das Problem der aussagenlogischen Erfüllbarkeit (engl. satisfiability, kurz SAT). Dabei geht es darum, für eine gegebene logische Problemstellung eine konsistente Lösung zu finden oder zu erkennen, dass keine solche Lösung existiert. SAT-Solver finden in zahlreichen Disziplinen praktische Anwendung, etwa zur systematischen Analyse wichtiger Hardware- und Software-Komponenten in Bezug auf ihre Korrektheit und Sicherheit. Die massiv parallelen Ansätze aus Dominik Schreibers Dissertation haben sich als der Stand der Technik für skalierbares SAT-Solving etabliert und dominieren seit 2020 die entsprechenden ("Cloud"-) Kategorien einschlägiger internationaler Wettbewerbe.

Mit dem Dissertationspreis der Gesellschaft für Informatik (GI) werden jährlich 1-3 Dissertationen aus der Informatik ausgezeichnet, die im deutschsprachigen Raum entstanden sind – der Preis wird gemeinsam mit der Österreichischen Computergesellschaft (OCG) und der Schweizer Informatik Gesellschaft (SI) verliehen. Dominik Schreiber erhält den diesjährigen Dissertationspreis gemeinsam mit Prof. Mennatallah El-Assady (ETH Zürich). Die Verleihung findet Ende September im Rahmen des INFORMATIK24-Festivals in Wiesbaden statt.
Christine Regitz, Präsidentin der GI, kommentiert: „Dr. Schreibers Dissertation zeigt eindrucksvoll, wie theoretische Informatik praxisrelevante Probleme lösen kann. Seine Forschung liefert nicht nur neue algorithmische Ansätze, sondern auch hochskalierbare Implementierungen, die in der Praxis signifikante Verbesserungen erzielen.“ (siehe Meldung der GI)

Der Fahiem Bacchus Award 2024 zeichnet auf internationaler Ebene eine Dissertation aus den Jahren 2022-2023 im Bereich der aussagenlogischen Erfüllbarkeit und verwandten Themenbereichen aus. Er wurde am 24. August auf der International Conference on Theory and Applications of Satisfiability Testing in Pune (Indien) verliehen. Die Auszeichnung ist nach Fahiem Bacchus (1957-2022) benannt, der die Forschung zu aussagenlogischer Erfüllbarkeit und automatisiertem Schlussfolgern maßgeblich vorangetrieben hat.

Prof. Armin Biere, Mitglied im Fahiem-Bacchus-Award-Auswahlkommittee, kommentiert: "This outstanding thesis presents the state-of-the-art of parallelizing the most important NP-hard problem, i.e., propositional SAT solving. [...] The thesis work already produced exceptional impact in a highly visible field both on the academic as well as industrial side."

Dominik Schreiber and Prof. Olaf Beyersdorff (chair of SAT Association) at SAT 2024 in Pune, India