Prof. Dr. Ernst-Rüdiger Olderog

Contact

  • E-Mail:

Prof. Dr. Ernst-Rüdiger Olderog

Curriculum Vitae

1974-1979 study of informatics, mathematics and logics at the University of Kiel
1979 diploma degree in informatics
1981 Ph.D. in computer science
1981-1983 Programming Research Group at Oxford University
1984-1989 Various research visits in Amsterdam, Edinburgh, Yorktown Heights, and Saarbrücken
1989 Habilitation for computer science
1989-1994 Associate professor of computer science at the University of Oldenburg
since 1994 Full professor of computer science at the University of Oldenburg
1994-1999 Leibniz Award of the German Research Council (DFG)
1995-2005

Chairman of IFIP Working Group 2.2 on Formal Description of Programming Concepts

2000-2014 Managing Editor Acta Informatica
2012 Member of Academia Europaea
since 2012 Director of DFG Research Training Group SCARE
2017-2019

Dean of Faculty II

Books

Bibtex file does not exist.

Errata

Errata for the book Real-Time Systems --- Formal Specification and Automatic Verification: Errata-Real-Time_Systems.pdf

Publications

Bibtex file does not exist.
(Changed: 20 Apr 2022)