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 und war 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 Bredenbek in Schleswig-Holstein und studierte Informatik, Mathematik und Logik an der Christian-Albrechts-Universität Kiel, wo er 1981 als akademischer Schüler von Hans Langmaack zum Thema Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen promoviert wurde. 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. Olderog war Herausgeber der Zeitschrift Acta Informatica und ist seit 2012 Mitglied der Academia Europaea.[1]
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.
- Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog: Provably Correct Systems. Springer Science+Business Media, 2017, ISBN 978-3-319-48627-7.