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. He heads the Correct Systems Design (CSD) group whose research is focused on programming language theory. Their research goal is methods for the systematic development of correct software for parallel and distributed systems under real-time constraints. In 1994, Olderog was awarded the Leibnitz Prize of the German Research Foundation (DFG) for his work. He authored a number of scientific books and served as editor-in-chief of the journal Acta Informatica and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998.
Biography
editEducation and Academic Career
editOlderog 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 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 also at Kiel University in 1989. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. From 1995 to 2005, Olderog served as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. He was editor-in-chief of the journal Acta Informatica and in 2012 became a member of the Academia Europaea. From 2012 to 2021 Olderog was Speaker of the Graduate School SCARE (I + II) and from 2017 to 2019 be was dean of the Faculty II.
Awards and honors
edit- 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
- has been a member of the Academia Europaea since 2012.[2]
- In 2015, a symposium with an associated Festschrift[3] was held at the University of Oldenburg in celebration of his 60th birthday.
Books
editOlderog has authored, coauthored, coedited the following books:
- 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
edit- ^ Ernst-Rüdiger Olderog at the Mathematics Genealogy Project.
- ^ "Ernst-Rüdiger Olderog". Academia Europaea. Retrieved 8 January 2018.
- ^ 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. Vol. 9360. Springer International Publishing. doi:10.1007/978-3-319-23506-6. ISBN 978-3-319-23505-9. S2CID 30847802.
External links
edit- Ernst-Rüdiger Olderog home page
- Ernst-Rüdiger Olderog publications indexed by Google Scholar
- Ernst-Rüdiger Olderog at DBLP Bibliography Server