Lehre

Aktuell bin ich in folgenden Kursen in der Lehre involviert:

Konzepte paralleler Programmierung - Übungsdurchführung
Secure and Efficient Programming with Rust - Vorlesungs- und Übungsdurchführung, kollaborative Veranstaltung mit Max Schrötter
Green Computing - Projektbetreuung

In der Vergangenheit habe ich die folgenden Kurse betreut oder durchgeführt (V - Vorlesung, U - Übung, S - Seminar, P - Projekt)

[V/U] Correct-by-Construction Software Engineering, WS 24/25 und WS 25/26, eigenständige Durchführung
[V/U] Software Engineering II, SoSe 24 und SoSe 25, Übungskoordination und -Betreuung
[V/U] Theoretische Informatik II - Effiziente Algorithmen, SoSe 19 und SoSe 20, Übungskoordination
[V/U] Theoretische Informatik I - Modellierung: Automaten und formale Sprachen, WS 16/17 und WS 17/18, Übungskoordination
[V/P] ATP Construction Project, SoSe 15, eigenständige Durchführung (betreut durch Prof. Dr. Kreitz )
[S] Theoretische Informatik - Methoden des automatischen Theorembeweisens, WS 14/15, eigenständige Durchführung (betreut durch Prof. Dr. Kreitz )
[S] Theoretische Informatik - Funktionale Programmierung mit Haskell, SoSe 14, Übungskoordination