Theses
Bachelor’s, Master’s, and PhD theses our members have written or supervised.
Theses by year
2026
Artificial Learning Assistance: A Modular Architecture for LLM-Based Educational Chatbots
2026 —Master's Thesis, Saarland University
Supervised by Verena Wolf, Felix Jahn
Binding Affinity Prediction with Deep Learning: Structural Learning or Dataset Bias?
2026 —Master's Thesis, Saarland University
Supervised by Verena Wolf, Andrea Volkamer, Jonas Wahl
Uniting Supervised and Reinforcement Learning for Per-Domain Generalizing Policies
2026 —Master's Thesis, Saarland University
Supervised by Verena Wolf, Nicola J. Müller
Predicting Contributions in Open-Source Software Projects
2026 —Master's Thesis, Saarland University
Supervised by Sven Apel
Learning Continuous Dosage Strategies for Sepsis via Offline Reinforcement Learning
2026 —Master's Thesis, Saarland University
Supervised by Felix Jahn, Jonas Wahl
Leveraging the B-cos Transforms for GNNs: Principled, Fast and Accurate Graph Explanations
2026 —Master's Thesis, Saarland University
Supervised by Verena Wolf, Dietrich Klakow
Learning Inherently Interpretable Reinforcement Learning Policies
2026 —Bachelor's Thesis
Supervised by Joshua Meyer, Nicola J. Müller
Learning Causal Graphs via Discrete, Order Based Search: The FLOP Algorithm
2026 —Bachelor's Thesis
Supervised by Jonas Wahl, Pascal Schumann
Learning and Belief Updating in Affiliative and Competitive Contexts: The Role of Social Anxiety and Depression
2026 —Bachelor's Thesis, Saarland University
Supervised by Tanja Michael
Learning Safer Multimodal Diffusion Policies Using Latent Representations
2026 —Bachelor's Thesis
Supervised by Joshua Meyer
2025
Structural equation processes - A linear model for causal inference in discrete-time
2025 —PhD Thesis
Supervised by Jonas Wahl
Learning 4 Planning: Benchmarking Architectures and Using Heuristics for Multi-Target Learning
2025 —Master's Thesis, Saarland University
Supervised by Verena Wolf, Isabel Valera, Nicola J. Müller
Integrating Reason-Based Moral Decision-Making in the Reinforcement Learning Architecture
2025 —Master's Thesis
Supervised by Felix Jahn
Symbolic, Neural, and Neuro-Symbolic Approaches for Optimizing Final Assembly Sequences for an Automotive Manufacturer
2025 —Master's Thesis
Supervised by Nicola J. Müller
Bridging the Gap between Fast Downward and PyTorch: Towards Efficient Search Using General Policies
2025 —Master's Thesis, Saarland University
Supervised by Nicola J. Müller
Causal Explanations and Epistemic Relativization
2025 —Master's Thesis, Saarland University
Classification and Analysis of Safe Reinforcement Learning Algorithms
2025 —Master's Thesis
Supervised by Timo P. Gros, Joshua Meyer
Reviewed by Verena Wolf, Dietrich Klakow
Using Causal Environment Knowledge for Agent Guidance
2025 —Bachelor's Thesis
Supervised by Felix Jahn
Lifting the RARE Algorithm to Continuous State and Action Spaces
2025 —Bachelor's Thesis
Supervised by Timo P. Gros, Joshua Meyer, Nicola J. Müller
Reviewed by Verena Wolf, Jörg Hoffmann
2024
Small Molecule Generation and Optimization: A GNN-VAE Appraoch
2024 —Master's Thesis
Supervised by Gerrit Großmann
MARS: Multi-sample Allocation through Russian roulette and Splitting
2024 —Master's Thesis, Saarland University
Supervised by Philipp Slusallek
Computer-Aided Molecular Generation Using Optimal Transport and Variational Autoencoders
2024 —Bachelor's Thesis, Saarland University
Supervised by Verena Wolf, Andrea Volkamer, Gerrit Großmann
GNPGNorks – Generalized Neural Policies Using Graph Neural Networks
2024 —Bachelor's Thesis
Supervised by Timo P. Gros, Joschka Groß
Reviewed by Verena Wolf, Jörg Hoffmann
2023
Network Reconstruction Using Deep Learning and Sensitivity Analysis
2023 —Master's Thesis
Supervised by Gerrit Großmann
Counterfactual Causality in Real-Time Systems
2023 —Master's Thesis, Saarland University
Improving Description-based Q-learning
2023 —Master's Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Jörg Hoffmann
Few-Shot Learning with the Help of Self-Supervision
2023 —Bachelor's Thesis, Saarland University
Supervised by Bernt Schiele
Using Deep Reinforcement Learning in the Steel Industry: A Game of Iron and Steel
2023 —Bachelor's Thesis
Supervised by Timo P. Gros
The Effect of Pruning on Tabular Data
2023 —Bachelor's Thesis, Saarland University
Supervised by Rebekka Burkholz
2022
Stochastic Spreading on Complex Networks
2022 —PhD Thesis, Saarland University
Performance Comparison of Deep Reinforcement Learning Algorithms for the ProGen Benchmark
2022 —Master's Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Martina Maggio
Free probability, (q, t)-deformed processes, and applications
2022 —Master's Thesis
Supervised by Jonas Wahl
Deep Reinforcement Learning with LTL Auxiliary Tasks
2022 —Bachelor's Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Holger Hermanns
Reinforcement Learning with Reward Shaping for Planning Domains in Jani
2022 —Bachelor's Thesis
Supervised by Timo P. Gros
Adapting the Approximate Master Equations for Realistic Epidemic and Network Dynamics
2022 —Bachelor's Thesis
Supervised by Gerrit Großmann
2022 —Bachelor's Thesis, Saarland University
Supervised by Philipp Slusallek
Reviewed by Philipp Slusallek, Sebastian Hack
Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages
2022 —Bachelor's Thesis, Saarland University
Supervised by Verena Wolf, Timo P. Gros
Reviewed by Verena Wolf, Jörg Hoffmann
Computation Type Theory for Philosophers: A Case Study for the Feasibility of Mechanization
2022 —Bachelor's Thesis, Saarland University
Motion Primitives for Motion Planning with Reinforcement Learning
2022 —Bachelor's Thesis
Supervised by Timo P. Gros
Systoles of Translation Surfaces
2022 —Bachelor's Thesis, Saarland University
Towards Undiscounted Q-learning
2022 —Teacher-Training Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Holger Hermanns
2021
2021 —Master's Thesis, Saarland University
Reviewed by Verena Wolf, Jörg Hoffmann
Using Deep Reinforcement Learning to Optimize Assignment Problems
2021 —Master's Thesis, Saarland University
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Andreas Karrenbauer
Mapping Instructions to Ports: A Reinforcement Curriculum Learning Approach
2021 —Bachelor's Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Sebastian Hack
Learning Dynamical Processes to Infer the Underlying Network Structure
2021 —Bachelor's Thesis
Supervised by Gerrit Großmann
2020
Deep Statistical Model Refinement
2020 —Master's Thesis
Supervised by Timo P. Gros
Reviewed by Jörg Hoffmann, Verena Wolf
Effects of Interventions on the COVID-19 Outbreak: A Network-based Approach
2020 —Bachelor's Thesis
Supervised by Gerrit Großmann
Synthetic One-One, Many-One, and Truth-Table Reducibility in Coq
2020 —Bachelor's Thesis, Saarland University
Multiple Sequence Alignment using Deep Reinforcement Learning
2020 —Bachelor's Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Tobias Marschall
Explainable Classification for an Application System
2020 —Bachelor's Thesis
Supervised by Timo P. Gros
Reviewed by Verena Wolf, Jan Reineke
2020 —Teacher-Training Thesis, Saarland University
Reviewed by Verena Wolf, Vera Demberg
2019
Design and calibration of stochastic models for DNA methylation patterns
2019 —Master's Thesis
Supervised by Alexander Lück
2018
Nonsingular Bernoulli actions and quantum symmetries
2018 —PhD Thesis, KU Leuven, Belgium
Supervised by Stefaan Vaes
Markov Automata taken by Storm
2018 —Bachelor's Thesis, Saarland University
2016
Representation theory for non-extremal subfactors and their standard invariants
2016 —Master's Thesis
Supervised by Jonas Wahl
Multi-dimensional moment-based methods for parameter inference in biochemical networks
2016 —Bachelor's Thesis
Supervised by Alexander Lück
Static Data Race Detection for pseuCo Programs
2016 —Bachelor's Thesis, Saarland University
2015
2014
Numerical Analysis of long-run properties for Markov Population Models
2014 —PhD Thesis, Saarland University
2009
Model Checking of Oscillatory and Noisy Periodic Behavior in Markovian Population Models
2009 —Master's Thesis, Saarland University
2008
Scope-based Fault-, Compensation- and Termination-Handling in WS-BPEL 2.0
2008 —Bachelor's Thesis, Saarland University
Undated
Lumping the Approximate Master Equation for Stochastic Processes on Complex Networks
Master's Thesis, Saarland University
Supervised by Charalampos Kyriakopoulos
Efficient Computation of Likelihoods in Large Markov Models
Bachelor's Thesis, Saarland University