Skip to main content

Supervision of Student Works

In the past, I have supervised various student projects and acted as a co-supervisor or second examiner, including Bachelor’s and Master’s theses as well as project work. The subject areas covered formal methods (theorem proving, verification), software engineering and software quality, as well as the operating system level.

Currently, I am involved in the supervision (primary in bold font) and/or review of the following thesis topics:

  • Rebeschieß, P.: “Konzeption einer modularen Systemarchitektur zur Steigerung der Flexibilität eines Experiment-Verwaltungssystems zur Durchführung von ökonomischen Experimenten”, TBD, Bachelor’s thesis, Secondary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Grunert, C.: “Automated Composition and Benchmarking of Data Analysis Workflows in Computational Materials Science”, TBD/TBD, Master’s thesis, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Soth, O.: “Konzeption und Implementierung eines AST-basierten Frameworks zur Identifizierung und Analyse von Test-Artefakten in C++ und CMake Forschungs-Repositories”, TBD, Bachelor’s thesis, Secondary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • [submitted] Strachardt, A.: “Konzeption und Implementierung eines Systems zum Vorschlagen von alternativen Data Analysis Workflow”, 08.07.2026, Bachelor’s thesis, Secondary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Korte, E. A.: “Untersuchung des Einflusses von Questkomplexität auf Wahnehmung, Motivation und Spielerfahrung von Videospielern”, TBD, Bachelor’s thesis, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • [submitted] Shikhareva, Y.: "Entwicklung einer semiformalen Sprache zur Spezifikation von Modelleigenschaften in der Temporallogik", 30.03.2026/TBD, Master’s thesis, Universität Potsdam, Primary Supervisor/Examiner:  PD Dr. H. Bordihn

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

Completed Master's Theses (Secondary Supervisor/Examiner)

  • Lindner, M. F. (2026): "Transformations of Leftmost Derivations in Cooperating Distributed Grammar Systems", 24.03.2026/08.06.2026, Universität Potsdam, Primary Supervisor/Examiner:  PD Dr. H. Bordihn, [online]
  • Kranz, T. (2022): "Induction Provers in Hets: Leveraging the Tons of Inductive Problems language and tools to talk to more Automated Theorem Provers", 16.10.2022/08.11.2022, OvGU Magdeburg, Primary Supervisor/Examiner: Prof. Dr.-Ing. T. Mossakowski

Completed Bachelor's Theses (Primary Supervision)

  • Werner, F. (2026): "Design and Development of a Mobile Application for Stoma Care and Wound Documentation in Entero- and Urostomy Patients", 23.03.2026, Universität Potsdam, Secondary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Hartmann, J. (2025): "Untersuchung der Anwendbarkeit von AI-Tools zur Erstellung von 2D Texturen und Animationen im Game Development", 06.08.2025, Universität Potsdam, Secondary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Schreitter Ritter von Schwarzenfeld, D. (2025): "Extension with smaller tactics and an investigation of the feasibility of the ring tactic in Rocq's tactical language Ltac2", 26.04.2025, Universität Potsdam, Secondary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht

Completed Bachelor's Theses (Secondary Supervisor/Examiner)

  • Mohamad, F. (2026): "Auswirkungen unvollständiger Tests: Eine Szenarienanalyse der Testabdeckung im Projekt CAVAS+", 04.02.2026, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. U. Lucke
  • Langner, J. (2025): "RSE und Sicherheit - Eine empirische Studie über die Verwendung von Sicherheitsaspekten in Research Software Engineering", 03.07.2025, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Henschel, M. (2025): "Analyse von Workflow-Repositories zur Gewinnung von Erkenntnissen über die frühen Phasen des Workflow-Designs", 11.06.2025, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Hermann, P. (2025): "Robotic Process Automation", 17.02.2025, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Yilmazcelik, A. (2025): "Digitale Signaturen für den Prüfungsanmeldungsprozess: Integration und Bewertung verschiedener API-Dienste", 03.02.2025, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. A-L. Lamprecht
  • Egger, M. (2024): "On Extending nanoCoP with the Arith Procedure", 04.02.2024, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. Chr. Kreitz
  • Repp, L. (2022): "Extending the Automated Theorem Prover nanoCoP with Arithmetic Procedures", 09.09.2022, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. Chr. Kreitz, [online]
  • Münch, K. (2021): "Entwicklung einer performanten und verlässlichen Schnittstelle für leanCoP-Ω", 04.04.2021, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. Chr. Kreitz
  • Behrens, A. (2019): "Modernisierung von Legacy Beweissystemen", 30.09.2019, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. Chr. Kreitz - PDF, BibTex
  • Engelhard, C. (2018): "Konzeption und Implementierung eines Interfaces zwischen SAT/SMT Solvern und automatischen Beweissystemen", 20.12.2018, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. Chr. Kreitz
  • Martin, J. (2017): "Analyse und Prototypische Implementierung des SUP-INF-Algorithmus für Presburger Arithmetik", 26.05.2017, Universität Potsdam, Primary Supervisor/Examiner: Prof. Dr. Chr. Kreitz

Completed Student Projects

  • Egger, M. (2025): "Auslesen der Temperatursensoren von Raspberry Pi 4B und 5 über den L4Re Betriebssystembaukasten", 21.06.2025, Internship (Bachelor)
  • Lindner, M. F. (2025): "Detection of Tail-Recursivity in Rocq", 07.06.2025, Interdisciplinary Project Work (Master)

Mentorings

  • "Technovation Girls Germany: starke Apps von starken Mädchen" 2022/23
  • Google Summer of Code 2017, digiKam