Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog (* 1955) ist ein deutscher Professor seit 1989 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 Forschungsaufenthalten 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. Von 1995 bis 2005 war Olderog Vorsitzender der IFIP Working Group 2.2 on Formal Description of Programming Concepts.^[1] 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.
• E.-R. Olderog und Henning Dierks. Real-Time Systems - Formal Specification and Automatic Verification. Cambridge University Press, 2008. ISBN 978-0-521-88333-7.
• Krzysztof. R. Apt, Frank. S. de Boer und E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, Berlin, 3. Auflage, 2009. ISBN 978-1-84882-744-8.

Weblinks

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

Einzelnachweise

1. ↑ Curriculum Vitae von Olderog auf den Seiten der Universität Oldenburg

Normdaten: PND: 136626890 (PICA) | LCCN: n88629264 | VIAF: 22243882 | WorldCat | WP-Personeninfo