CAV Award 2026 für Prof. Andreas Podelski

Auszeichnung für wegweisende Beiträge zur Computer-Aided Verification

Prof. Andreas Podelski wurde gemeinsam mit Byron Cook und Andrey Rybalchenko mit dem CAV Award 2026 ausgezeichnet. Der CAV Award wird jährlich für grundlegende Beiträge auf dem Gebiet der Computer-Aided Verification (CAV) vergeben.

Podelski, Cook und Rybalchenko haben wichtige Beiträge zur automatischen Verifikation von Programmen und insbesondere zur Analyse der Terminierung von Programmen geleistet. Zu ihren gemeinsamen Arbeiten gehört die Entwicklung von Terminator, einem Verifikationswerkzeug zur automatischen Analyse der Terminierung von Programmen.

Die Arbeiten zu Terminator wurden unter anderem in der gemeinsamen Publikation Termination Proofs for System Code (Cook, Podelski, Rybalchenko, PLDI 2006) vorgestellt. Das Werkzeug steht beispielhaft für den Ansatz, Eigenschaften von Programmen mithilfe automatischer Verfahren formal nachzuweisen.

Die Auszeichnung wurde am 28. Juli 2026 im Rahmen einer eigenen CAV-Award-Session auf der CAV-Konferenz während der Federated Logic Conference (FLoC) 2026 in Lissabon verliehen. Die Preisträger wurden dort öffentlich bekanntgegeben (zuvor war die Entscheidung nicht bekannt) und hielten anschließend einen eingeladenen Vortrag.

Der CAV Award gilt als die höchste Auszeichnung im Bereich der Computer-Aided Verification. Er wurde 2008 vom Steering Committee der CAV-Konferenz ins Leben gerufen und wird seither jährlich für eine grundlegende Einzelleistung oder eine Reihe herausragender Beiträge vergeben, die sich in der Forschungspraxis bereits bewährt haben: Ausgezeichnet werden nur Arbeiten, die mindestens fünf und höchstens 25 Jahre zurückliegen und noch nicht durch einen großen Preis wie den Turing Award gewürdigt wurden.

Kontakt:

Kerstin Steiger-Merx
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de

Prof. Dr. Andreas Podelski
Professur für Softwaretechnik
Institut für Informatik - IIF
Albert-Ludwigs-Universität Freiburg
E-Mail: podelski@informatik.uni-freiburg.de

03.08.2026