Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog (* 1955 ) has been a German professor for theoretical computer science at the Carl von Ossietzky University of Oldenburg since 1989 . He is head of the Department of Development of Correct Systems (until March 31, 2003: Department of Semantics ), whose research work is in 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. In 1994, Olderog was awarded the Leibniz Prize of the DFG for his research . Olderog is the author of various academic books and was editor of Acta Informatica magazine and chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts . For his work in this IFIP group, he received the IFIP Silver Core award in 1998.
biography
Olderog comes from Bredenbek in Schleswig-Holstein and studied computer science , mathematics and logic at the Christian-Albrechts-University of Kiel , where he in 1981 as an academic student of Hans Langmaack on characterization Hoare shear systems for Algol -like programming doctorate was. After several research stays abroad (including at the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he completed his habilitation in 1989, also in Kiel. Olderog has been teaching at the Computer Science Department since 1989 (since April 1, 2003: Computer Science Department). In 1994, Olderog and his colleague Manfred HB Broy were awarded the Leibniz Prize of the DFG , endowed with DM three million . From 1995 to 2005, Olderog was chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts . Olderog was editor of Acta Informatica magazine and has been a member of Academia Europaea since 2012 .
Fonts
- HE. Olderog. Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship . Cambridge University Press , Cambridge, 1991. ISBN 0-521-01845-5 .
- HE. Olderog and 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 and E.-R. Olderog. Verification of Sequential and Concurrent Programs . Springer-Verlag, Berlin, 3rd edition, 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 .
Web links
Individual evidence
| personal data | |
|---|---|
| SURNAME | Olderog, Ernst-Rüdiger |
| BRIEF DESCRIPTION | German computer scientist, professor for theoretical computer science at the Carl-von-Ossietzky-Universität Oldenburg |
| DATE OF BIRTH | 1955 |