Aktuell bin ich an der Betreuung und Begutachtung folgender Arbeiten beteiligt

• Shikhareva, Y.: "Entwicklung einer semiformalen Sprache zur Spezifikation von Modelleigenschaften in der Temporallogik", TBD, Masterarbeit, Universität Potsdam, Hauptbetreuer:  Dr. H. Bordihn
• Lindner, M. F.: "Transformations of Leftmost Derivations in Cooperating Distributed Grammar Systems", TBD, Masterarbeit, Universität Potsdam, Hauptbetreuer:  Dr. H. Bordihn
• Korte, E. A.: “Untersuchung des Einflusses von Questkomplexität auf Wahnehmung, Motivation und Spielerfahrung von Videospielern”, TBD, Bachelorarbeit, Universität Potsdam, Hauptbetreuerin: Prof. Dr. A-L. Lamprecht
• Strachardt, A.: “Konzeption und Implementierung eines Systems zum Vorschlagen von alternativen Data Analysis Workflow”, TBD, Bachelorarbeit, Zweitgutachterin: Prof. Dr. A-L. Lamprecht

Im folgenden finden sich abgeschlossene Arbeiten.

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