Award at the Department of Computer Science
Picture: The two recipients of the Test-of-Time Award, Andrey Rybalchenko (Microsoft Research Cambridge) and Prof. Dr. Andreas Podelski together with Franz Baader (TU Dresden, Chairman of the Award Committee).

Award at the Department of Computer Science

Prof. Andreas Podelski receives Test-of-Time Award

This year, the LICS 2004 Test-of-Time award committee has chosen the article entitled ``Transition Invariants'' by Prof. Andreas Podelski, Software Engineering at the Department of Computer Science.  The article is co-authored with his former PhD student Andrey Rybalchenko, now at Microsoft Research in Cambridge, UK. 

The result in the article has made possible the development of algorithms to check the correctness of systems, such as computer networks, that need to satisfy so-called liveness properties.  The article uses a theorem by Frank Ramsey, a British mathematician, from 1928.

 
About the ACM-IEEE Symposium on Logic in Computer Science (LICS):

Since the very beginning, computer science has had a strong connection to mathematical logic.  On a fundamental level, computers manipulate the abstract representation of information through logical formulas. The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on computer science in relation to mathematical logic. Each year, since 2006, the LICS Test-of-Time Award recognizes articles that go back exactly 20 years and that have become particularly influential.


Contact:

Prof. Dr. Andreas Podelski
Software Engineering
Department of Computer Science - IIF
University of Freiburg
E-Mail: podelski@informatik.uni-freiburg.de

Kerstin Steiger-Merx
Representative PR/Marketing
Faculty of Engineering
University of Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de