Auszeichnung am Institut für Informatik

In diesem Jahr hat das Komitee des LICS 2004 Test-of-Time Award den Artikel ``Transition Invariants'' von Prof. Andreas Podelski, Professur für Softwaretechnik am Institut für Informatik, ausgewählt.  Der Artikel wurde von seinem ehemaligen Doktoranden Andrey Rybalchenko mitverfasst, jetzt bei Microsoft Research in Cambridge, UK. 

Das Resultat in dem Artikel ermöglicht zum ersten Mal die Entwicklung von Algorithmen zur Überprüfung der Korrektheit von Systemen wie z. B. Computernetzwerken, die sogenannte Lebendigkeits-Eigenschaften erfüllen müssen.  Der Artikel stützt sich auf ein Theorem des britischen Mathematikers Frank Ramsey aus dem Jahr 1928.

Über das ACM-IEEE Symposium on Logic in Computer Science (LICS):

Seit ihren Anfängen hat die Informatik enge Verbindungen zur mathematischen Logik.  Auf einer grundlegenden Ebene manipulieren Computer die abstrakte Darstellung von Informationen durch logische Formeln. Das ACM-IEEE Symposium on Logic in Computer Science (LICS) ist eine jährliche akademische Konferenz, die sich mit der Beziehung zwischen Informatik und mathematischer Logik beschäftigt. Seit 2006 wird jedes Jahr der LICS Test-of-Time Award verliehen, mit dem Artikel ausgezeichnet werden, die genau 20 Jahre zurückliegen und besonders einflussreich geworden sind.

Kontakt:

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

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

23.07.2024