We offer supervision for internships, interdisciplinary study projects, and Bachelor/Master theses with a strong focus on software engineering. If you are interested, we encourage you to get in touch with us to discuss a topic. Below, you’ll find a selection of previous projects and theses, providing insight into the range of topics we can support.
Master's Theses
2024
- Sassor, N.: "A Model-based Approach for Comparing and Evaluating Healthcare Processes", 30.1.2024, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, Michael Wagner
2023
- Pan, S.: "Automated Construction of Data Science Workflows", 12.2023, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, PD Dr. Henning Bordihn
- Zimmek, D.: "Qualitätssicherung von Forschungssoftware für Messgerätesteuerung und Signalanalyse", 12.2023, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, Dr. Lars Liebermeister
2022
- Kranz, T. : "Induction Provers in Hets: Leveraging the Tons of Inductive Problems language and tools to talk to more Automated Theorem Provers", 16.10.2022, OvGU Magdeburg, Supervisors: Prof. Dr.-Ing. T. Mossakowski, Mario Frank
Bachelor's Theses
2024
- Egger, M. : "On Extending nanoCoP with the Arith Procedure", 04.02.2024, University of Potsdam, Supervisors: Prof. Dr. Chr. Kreitz, Mario Frank
- Gilbert, L.: "Evaluierung der Code-Generierungsfähigkeiten von ChatGPT 4: Eine vergleichende Analyse in 19 Programmiersprachen", 18.06.2024, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, PD Dr. Henning Bordihn
- Grunert, C.: "Konzeption eines Modelcheckers zum Einsatz in der Software Engineering-Lehre", 20.03.2024, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, PD Dr. Henning Bordihn
- Lorenz, H.: "Modellgetriebene Entwicklung von Steuerungssoftware für Überwachungskameras", 09.04.2024, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, PD Dr. Henning Bordihn
- Riedel, A.: "Analyzing the University of Potsdam's public Gitlab repositories for software FAIRness", 19.03.2024, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, Keven Quach
- Schirmag, T.: "Software Engineering Methods in Scientific Software Development - A Case Study with Machine-Learning-Based Analysis of Climate Change News Coverage in Tagesschau", 01.04.2024, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, Dr. Leonie Wenz
2023
- Oberlack, B.: "The data lake - a suitable data architecture for heterogeneous COVID-19 data?", 2023, University of Potsdam, Supervisors: Prof. Dr. Anna-Lena Lamprecht, PD Dr. Henning Bordihn
2022
- Repp, L. : "Extending the Automated Theorem Prover nanoCoP with Arithmetic Procedures", 09.09.2022, University of Potsdam, Supervisors: Prof. Dr. Chr. Kreitz, Mario Frank
2021
- Münch, K. : "Entwicklung einer performanten und verlässlichen Schnittstelle für leanCoP-Ω", 04.04.2021, University of Potsdam, Supervisors: Prof. Dr. Chr. Kreitz, Mario Frank
2019
- Behrens, A. : "Modernisierung von Legacy Beweissystemen", 30.09.2019, University of Potsdam, Supervisors: Prof. Dr. Chr. Kreitz, Mario Frank - PDF,BibTex
2018
- Engelhard, C. : "Konzeption und Implementierung eines Interfaces zwischen SAT/SMT Solvern und automatischen Beweissystemen", 20.12.2018, University of Potsdam, Supervisors: Prof. Dr. Chr. Kreitz, Mario Frank
2017
- Martin, J. : "Analyse und Prototypische Implementierung des SUP-INF-Algorithmus für Presburger Arithmetik", 26.05.2017, University of Potsdam, Supervisors: Prof. Dr. Chr. Kreitz, Mario Frank