Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany.

Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. Hans Langmaack on Hoare-style characterization systems for ALGOL-like programming languages.[1] After several research visits abroad (including the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he habilitated at Kiel University in 1989 as well. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. In 1994, Olderog, together with his colleague Manfred Broy, was awarded the Deutsche Forschungsgemeinschaft (DFG) Gottfried Wilhelm Leibniz Prize, worth three million DM. From 1995 to 2005, Olderog was chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. In 1998, he received the Silver Core Award from IFIP for his work in this IFIP group. Olderog was editor of the journal Acta Informatica and has been a member of the Academia Europaea since 2012.[2]

Olderog is professor of theoretical computer science at the Carl von Ossietzky University Oldenburg. He is head of the Department of Correct Systems Development, whose research is related to the field of programming theory. The aim of this work is the development of procedures for the systematic creation of correct software for parallel and distributed systems with time requirements. Olderog is the author of several scientific books.[3]

In 2015, a symposium was held at the Carl von Ossietzky University Oldenburg celebrating Olderog's 60th birthday, with an associated Festschrift.[4]

Books

Olderog has authored, coauthored, coedited the following books:[3]

  • Olderog, E.-R. (1991). Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship. Cambridge: Cambridge University Press. ISBN 0-521-01845-5.
  • Olderog, E.-R.; Dierks, Henning (2008). Real-Time Systems: Formal Specification and Automatic Verification. Cambridge: Cambridge University Press. ISBN 978-0-521-88333-7.
  • Apt, Krzysztof R.; de Boer, Frank. S.; Olderog, E.-R. (2009). Verification of Sequential and Concurrent Programs. Berlin: Springer-Verlag. ISBN 978-1-84882-744-8.
  • Hinchey, M. G.; Bowen, J. P.; Olderog, E.-R., eds. (2017). Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Springer. ISBN 978-3319486277.

References

  1. ↑ Ernst-Rüdiger Olderog at the Mathematics Genealogy Project.
  2. ↑ "Ernst-Rüdiger Olderog". Academia Europaea. Retrieved 8 January 2018.
  3. 1 2 "Books: Ernst-Rüdiger Olderog". Amazon.co.uk. Retrieved 8 January 2018.
  4. ↑ Meyer, Roland; Platzer, Andre; Wehrheim, Heike, eds. (2015). Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. Theoretical Computer Science and General Issues. 9360. Springer International Publishing. doi:10.1007/978-3-319-23506-6. ISBN 978-3-319-23505-9.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.