Prof. Dr. Ernst-Rüdiger Olderog
Contact
- E-Mail:

Prof. Dr. Ernst-Rüdiger Olderog
Entwicklung korrekter Systeme
Department of Computing Science (» Postal address)
Lectures
Summer term 2022
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
Errata
Errata for the book Real-Time Systems --- Formal Specification and Automatic Verification: Errata-Real-Time_Systems.pdf