Prof. Dr. Ernst-Rüdiger Olderog (i.R.)
Kontakt
Prof. Dr. Ernst-Rüdiger Olderog (i.R.)
Entwicklung korrekter Systeme
Lehrveranstaltungen
Wintersemester 2025 / 2026
2.01.AM-10
Oberseminar Entwicklung korrekter Systeme
Curriculum Vitae
| 1974-1979 | Studium der Informatik, Mathematik und Logik an der Universität Kiel |
|---|---|
| 1979 | Diplom |
| 1981 | Promotion zum Dr.rer.nat. |
| 1981-1983 | Programming Research Group an der Oxford University |
| 1984-1989 | diverse Forschungsbesuche in Amsterdam, Edinburgh, Yorktown Heights und Saarbrücken |
| 1989 | Habilitation in Informatik |
| 1989-1994 | C3-Professur im Fachbereich Informatik der Universität Oldenburg |
| seit 1994 | C4-Professur im Fachbereich Informatik der Universität Oldenburg |
| 1994-1999 | Leibniz-Preis der DFG |
| 1995-2005 | Vorsitz der IFIP Working Group 2.2 on Formal Description of Programming Concepts |
| 2000-2014 | Hauptherausgeber Acta Informatica |
| 2012 | Mitglied der Academia Europaea |
| seit 2012 | Sprecher des DFG-Graduiertenkollegs SCARE |
| 2017-2019 | Dekan der Fakultät II |
Bücher
Errata
Errata für das Buch Real-Time Systems --- Formal Specification and Automatic Verification: Errata-Real-Time_Systems.pdf