Betreuung von Abschlussarbeiten und Studentischen Projekten

Ich habe in der Vergangenheit diverse studentische Arbeiten betreut und als Zweitbetreuer/Gutachter fungiert, darunter Bachelor- und Masterarbeiten sowie Projektarbeiten. Die Themengebiete umfassten dabei formale Methoden (Theorembeweisen, Verifikation), Software Engineering und Software Qualität.

Aktuell bin ich an der Betreuung (Hauptbetreuung fett gedruckt) und Begutachtung folgender Arbeiten beteiligt

• Rebeschieß, P.: “Konzeption einer modularen Systemarchitektur zur Steigerung der Flexibilität eines Experiment-Verwaltungssystems zur Durchführung von ökonomischen Experimenten”, TBD, Bachelorarbeit, Zweitgutachterin: Prof. Dr. A-L. Lamprecht
• Grunert, C.: “Automated Composition and Benchmarking of Data Analysis Workflows in Computational Materials Science”, TBD/TBD, Masterarbeit, Universität Potsdam, Hauptbetreuerin: 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, Bachelorarbeit, Zweitgutachterin: Prof. Dr. A-L. Lamprecht
• [eingereicht] Strachardt, A.: “Konzeption und Implementierung eines Systems zum Vorschlagen von alternativen Data Analysis Workflow”, 08.07.2026, Bachelorarbeit, Zweitgutachterin: Prof. Dr. A-L. Lamprecht
• 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
• [eingereicht] Shikhareva, Y.: "Entwicklung einer semiformalen Sprache zur Spezifikation von Modelleigenschaften in der Temporallogik", 30.03.2026/TBD, Masterarbeit, Universität Potsdam, Hauptbetreuer:  PD Dr. H. Bordihn

Im folgenden finden sich abgeschlossene Arbeiten.

Abgeschlossene Masterarbeiten (Zweitbetreuer/-Gutachter)

• Lindner, M. F. (2026): "Transformations of Leftmost Derivations in Cooperating Distributed Grammar Systems", 24.03.2026/08.06.2026, Universität Potsdam, Hauptbetreuer:  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, Hauptbetreuer: Prof. Dr.-Ing. T. Mossakowski

Abgeschlossene Bachelorarbeiten (Hauptbetreuung)

• 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, Zweitgutachterin: 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, Zweitgutachterin: 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, Zweitgutachterin: Prof. Dr. A-L. Lamprecht

Abgeschlossene Bachelorarbeiten (Zweitbetreuer/-Gutachter)

• Mohamad, F. (2026): "Auswirkungen unvollständiger Tests: Eine Szenarienanalyse der Testabdeckung im Projekt CAVAS+", 04.02.2026, Universität Potsdam, Hauptbetreuerin: 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, Hauptbetreuerin: 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, Hauptbetreuerin: Prof. Dr. A-L. Lamprecht
• Hermann, P. (2025): "Robotic Process Automation", 17.02.2025, Universität Potsdam, Hauptbetreuerin: 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, Hauptbetreuerin: Prof. Dr. A-L. Lamprecht
• Egger, M. (2024): "On Extending nanoCoP with the Arith Procedure", 04.02.2024, Universität Potsdam, Hauptbetreuer: Prof. Dr. Chr. Kreitz
• Repp, L. (2022): "Extending the Automated Theorem Prover nanoCoP with Arithmetic Procedures", 09.09.2022, Universität Potsdam, Hauptbetreuer: 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, Hauptbetreuer: Prof. Dr. Chr. Kreitz
• Behrens, A. (2019): "Modernisierung von Legacy Beweissystemen", 30.09.2019, Universität Potsdam, Hauptbetreuer: 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, Hauptbetreuer: 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, Hauptbetreuer: Prof. Dr. Chr. Kreitz

Abgeschlossene Projekte

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

Mentorings

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