Pressemitteilungen

15. Februar 1999   57/99

Personalie aus der Universität

Oldenburg. Prof. Dr. Ernst–Rüdiger Olderog, Hochschullehrer für Theoretische Informatik an der Universität Oldenburg, ist von der International Federation for Information Processing (IFIP) für seine Arbeit in der Arbeitsgruppe “Formale Beschreibung von Programmierkonzepten” mit dem Silver Core Award ausgezeichnet worden. Olderog ist seit 1984 Mitglied der Arbeitsgruppe, der über 30 Experten aus Europa, Israel, den USA und Japan angehören. Die Arbeitsgruppe befaßt sich mit der Theorie und Praxis von formalen Methoden zur Spezifikation, Verifikation und Entwicklung von Software. Sie organisiert außerdem Arbeitsgruppen und Konferenzen in Entwicklungsländern. 1995 wurde Olderog zum Vorsitzenden der Arbeitsgruppe gewählt.