Business card "Prof. Dr. Ernst-Rüdiger Olderog"
Prof. Dr. Ernst-Rüdiger Olderog
Email:
Department für Informatik
- Address
-
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Carl von Ossietzky Universität Oldenburg
Ammerländer Heerstraße 114-118
26129 Oldenburg - Room
- A03 2-211 (» Address and map)
- Office hours
- Zeit nach Vereinbarung mit EMail
- Phone
- 798-2439
- Fax
- 798-2965
Current courses
Sommersemester 2022
- 2.01.400 Vorlesung - Theoretische Informatik: Logik
- 2.01.400b Tutorium Theoretische Informatik: Logik (B)
- 2.01.400d Tutorium Theoretische Informatik: Logik (D)
- 2.01.400f Tutorium Theoretische Informatik: Logik (F)
- 2.01.400g Tutorium Theoretische Informatik: Logik (G)
- 2.01.486 Seminar: Strategien im Model-Checking
- 2.01.800-B Proseminar "Einflussreiche Arbeiten der Theoretischen Informatik"
- 2.01.801-C Forschungsseminar Entwicklung korrekter Systeme
- 2.01.AM-C Oberseminar Entwicklung korrekter Systeme
Wintersemester 2021/2022
- 2.01.485 Synthese durch Spiele
- 2.01.487 Logik des Autofahrens
- 2.01.800-J Proseminar "Logiken in der Informatik"
- 2.01.801-J Forschungsseminar Entwicklung korrekter Systeme
- 2.01.AM-J Oberseminar Entwicklung korrekter Systeme
Show all courses