Prof. Dr. Christoph Matheja
Kontakt
Prof. Dr. Christoph Matheja
Sekretariat
Andrea Göken
Prof. Dr. Christoph Matheja
Prof. Dr. Christoph Matheja
Department für Informatik (» Postanschrift)
Lebenslauf
Details sind auf meiner persönliche Webseite zu finden.
- seit 09/2024: Professor, Abteilung Theorie korrekter Systeme, Carl von Ossietzky Universität Oldenburg (DE)
- seit 09/2023: Associate Professor, Section for Software Systems Engineering, Department für Angewandte Mathematik und Informatik, Technische Universität von Dänemark (DK)
- 08/2021 - 08/2023: Assistant Professor, Section for Software Systems Engineering, Department für Angewandte Mathematik und Informatik, Technische Universität von Dänemark (DK)
- 03/2020 - 11/2021: Postdoktorand, Programming Methodology Group, ETH Zürich (CH)
- 01/2020: Promotion in Informatik (summa cum laude), RWTH Aachen (DE)
- 12/2014 - 03/2020: Wissenschaftlicher Mitarbeiter, Software Modeling and Verification Group, RWTH Aachen (DE)
- 09/2014: Master of Science in Informatik (mit Auszeichnung), RWTH Aachen (DE)
- 09/2012: Bachelor of Science in Informatik, RWTH Aachen (DE)
Lehrveranstaltungen
Sommersemester 2026
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.AM-23
Oberseminar Quantitative Verifikation