Person // University of Oldenburg

About the University

Prof. Dr. Christoph Matheja

Department of Computing Science (» Postal address)

A03 202-a (» Adress and map)

wenn die Tür offen ist

Lectures

Summer term 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.801-G Forschungsseminar Quantitative Verification

2.01.803 Verification of Probabilistic Programs

2.01.AM-23 Oberseminar Quantitative Verifikation

Internetkoordinator (Changed: 06 Feb 2025) | Kurz-URL:Shortlink: https://uol.de/en/person/HDerwanz