Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog (* 1955) ist seit 1989 Professor für Theoretische Informatik an der Carl-von-Ossietzky-Universität Oldenburg. Er ist Leiter der Abteilung Entwicklung korrekter Systeme (bis 31. März 2003: Abteilung Semantik), deren Forschungsarbeiten dem Gebiet der Theorie der Programmierung zuzuordnen sind. Ziel dieser Arbeiten ist die Entwicklung von Vorgehensweisen für die systematische Erstellung von korrekter Software für parallele und verteilte Systeme mit Zeitanforderungen. Für seine Forschungsarbeiten ist Olderog 1994 mit dem Leibniz-Preis der DFG ausgezeichnet worden. Olderog ist Autor verschiedener wissenschaftlicher Bücher, Herausgeber der Zeitschrift Acta Informatica und Vorsitzender der IFIP Working Group 2.2 on Formal Description of Programming Concepts. Für seine Arbeit in dieser IFIP-Gruppe erhielt er 1998 die Silver Core Auszeichnung der IFIP.

Biografie

Olderog stammt aus Schleswig-Holstein und studierte Informatik, Mathematik und Logik an der Christian-Albrechts-Universität Kiel, wo er 1981 bei Hans Langmaack zum Thema Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen promovierte. Nach einigen Forschungsaufhalten im Ausland (u. a. bei der Programming Research Group der University of Oxford und in Amsterdam, Edinburgh, Yorktown Heights und Saarbrücken) habilitierte er sich im Jahr 1989 ebenfalls in Kiel. Seit 1989 lehrt Olderog am Fachbereich Informatik (seit 1. April 2003: Department Informatik). Im Jahr 1994 wurde Olderog gemeinsam mit seinem Kollegen Manfred H. B. Broy mit dem mit drei Millionen DM dotierten Leibniz-Preis der DFG ausgezeichnet. Seit 1995 ist Olderog Vorsitzender der IFIP Working Group 2.2 on Formal Description of Programming Concepts. Olderog ist Herausgeber der Zeitschrift Acta Informatica.

Schriften

• E.-R. Olderog. Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship. Cambridge University Press, Cambridge, 1991. ISBN 0-521-01845-5.
• Krzysztof R. Apt und E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, Berlin, 2. Auflage, 1997. ISBN 0-387-94896-1.

Weblinks

• Homepage der Abteilung Entwicklung korrekter Systeme an der Carl-von-Ossietzky-Universität Oldenburg