Business card "Prof. Dr. Christoph Matheja"
Prof. Dr. Christoph Matheja

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 202-a (» Address and map)
- Office hours
- wenn die Tür offen ist
Current courses
Sommersemester 2025
- 2.01.400 Theoretische Informatik: Logik
- 2.01.400-a Theoretische Informatik: Logik (Übung)
- 2.01.400-b Theoretische Informatik: Logik (Übung)
- 2.01.400-c Theoretische Informatik: Logik (Übung)
- 2.01.400-d Theoretische Informatik: Logik (Übung)
- 2.01.400-e Theoretische Informatik: Logik (Übung)
- 2.01.400-f Theoretische Informatik: Logik (Übung)
- 2.01.801-G Forschungsseminar Quantitative Verification
- 2.01.803 Verification of Probabilistic Programs
- 2.01.AM-23 Oberseminar Quantitative Verifikation
Wintersemester 2024/2025
- 2.01.489 Automated Program Verification
- 2.01.800-A Proseminar: Modellierung und Analyse Probabilistischer Systeme
- 2.01.801-G Forschungsseminar Quantitative Verification
- 2.01.AM-23 Oberseminar Quantitative Verifikation