Ernst-Rüdiger Olderog - Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog (* 4. Juni 1955 in London ) ist ein deutscher Informatiker. Er ist Professor an der Universität Oldenburg in Oldenburg , Nord Deutschland .

Olderog stammt aus Bredenbek in Schleswig-Holstein , Norddeutschland, und studierte Informatik , Mathematik und Logik an der Universität Kiel , wo er 1981 unter der Leitung von Prof. Hans Langmaack über Charakterisierungssysteme im Hoare- Stil für ALGOL- ähnliche Programmierung promovierte Sprachen. Nach mehreren Forschungsaufenthalten im Ausland (einschließlich der Programmierforschungsgruppe an der Universität Oxford und in Amsterdam , Edinburgh , Yorktown Heights und Saarbrücken ) habilitierte er sich 1989 ebenfalls an der Universität Kiel. Olderog arbeitet seit 1989 am Institut für Informatik der Universität Oldenburg. 1994 erhielt Olderog zusammen mit seinem Kollegen Manfred Broy den Gottfried-Wilhelm-Leibniz-Preis der Deutschen Forschungsgemeinschaft (DFG) in Höhe von drei Millionen DM. Von 1995 bis 2005 war Olderog Vorsitzender der IFIP- Arbeitsgruppe 2.2 zur formalen Beschreibung von Programmierkonzepten. 1998 erhielt er von der IFIP den Silver Core Award für seine Arbeit in dieser IFIP-Gruppe. Olderog war Herausgeber der Zeitschrift Acta Informatica und ist seit 2012 Mitglied der Academia Europaea .

Olderog ist Professor für theoretische Informatik an der Carl von Ossietzky Universität Oldenburg. Er ist Leiter der Abteilung für korrekte Systementwicklung, deren Forschung sich auf dem Gebiet der Programmiertheorie bezieht . Ziel dieser Arbeit ist die Entwicklung von Verfahren zur systematischen Erstellung korrekter Software für parallele und verteilte Systeme mit zeitlichem Bedarf. Olderog ist Autor mehrerer wissenschaftlicher Bücher.

2015 fand an der Carl von Ossietzky-Universität Oldenburg ein Symposium zum 60. Geburtstag von Olderog mit einer dazugehörigen Festschrift statt .

Bücher

Olderog hat die folgenden Bücher verfasst, mitautorisiert und mitbearbeitet:

  • Olderog, E.-R. (1991). Netze, Begriffe und Formeln: Drei Ansichten gleichzeitiger Prozesse und ihrer Beziehung . Cambridge: Cambridge University Press . ISBN 0-521-01845-5.
  • Olderog, E.-R.; Dierks, Henning (2008). Echtzeitsysteme: Formale Spezifikation und automatische Überprüfung . Cambridge: Cambridge University Press. ISBN 978-0-521-88333-7.
  • Apt, Krzysztof R.; de Boer, Frank. S.; Olderog, E.-R. (2009). Überprüfung von sequentiellen und gleichzeitigen Programmen . Berlin: Springer-Verlag . ISBN 978-1-84882-744-8.
  • Hinchey, MG ; Bowen, JP ; Olderog, E.-R. , Hrsg. (2017). Nachweislich korrekte Systeme . NASA- Monographien in System- und Softwareentwicklung. Springer . ISBN 978-3319486277.

Verweise

Externe Links