Currently, I am involved in the supervision and/or review of the following thesis topics:

• Shikhareva, Y.: "Entwicklung einer semiformalen Sprache zur Spezifikation von Modelleigenschaften in der Temporallogik", TBD, Master's thesis, Universität Potsdam, Primary supervisor:  Dr.  H. Bordihn
• Lindner, M. F.: "Transformations of Leftmost Derivations in Cooperating Distributed Grammar Systems", TBD, Masterarbeit, Universität Potsdam, Primary supervisor:  Dr.  H. Bordihn
• Werner, F.: "Design and Development of a Mobile Application for Stoma Care and Wound Documentation in Entero- and Urostomy Patients", TBD,  Bachelor's thesis, Universität Potsdam, Secondary supervisor: Prof. Dr. A-L. Lamprecht

Below, you can find formerly supervised and reviewed student works.

I organised/supervised the following classes (V - Lecture, U - Lab, S - Seminar, P - Project, WS - Winter Term, SoSe - Summer Term)

• [V/U] Correct-by-Construction Software Engineering, WS 24/25 und WS 25/26, Responsible Lecturer
• [V/U] Software Engineering II, SoSe 24 und SoSe 25,  Lab coordination
• [V/U] Theoretische Informatik II - Effiziente Algorithmen, SoSe 19 und SoSe 20, Lab coordination
• [V/U] Theoretische Informatik I - Modellierung: Automaten und formale Sprachen, WS 16/17 und WS 17/18, Lab coordination
• [V/P] ATP Construction Project, SoSe 15, Responsible Lecturer (mentored by Prof. Dr. Kreitz )
• [S] Theoretische Informatik - Methoden des automatischen Theorembeweisens, WS 14/15, Responsible Lecturer (mentored by Prof. Dr. Kreitz )
• [S] Theoretische Informatik - Funktionale Programmierung mit Haskell, SoSe 14, Lab coordination