Navigation
Stud.IP Uni Oldenburg
Support
Deutsch
University of Oldenburg
Start
Booking plans
Search
Examination dates
Thesis topics
More…
Stud.IP homepage
27.06.2022
16:16:28
Business card "Prof. Dr. Ernst-Rüdiger Olderog"
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
Show all courses