Prof. Dr. Ernst-Rüdiger Olderog (i.R.)
Contact
- E-Mail:
Prof. Dr. Ernst-Rüdiger Olderog (i.R.)
Entwicklung korrekter Systeme
Lectures
Summer term 2026
2.01.AM-10
Oberseminar Entwicklung korrekter Systeme
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