Leon Kellerhals
about me    publications    teaching etc.

Teaching and academic service

Teaching

summer 26: Logic and Verification
Randomized Algorithmics
winter 25/26: Foundations of Theoretical Computer Science (Automata, Computability, Complexity)
Computer Science Toolbox: An Introductory Programming Project
summer 25: Logic and Verification
Parameterized Algorithmics
winter 24/25: Foundations of Theoretical Computer Science (Automata, Computability, Complexity)
Computer Science Toolbox: An Introductory Programming Project
winter 23/24: Computability and Complexity (organization and tutoring)
summer 23: Algorithm Theory (organization and tutoring)
winter 22/23: Computability and Complexity (organization and tutoring)
summer 22: Algorithm Theory (organization and tutoring)
winter 21/22: Computability and Complexity (organization and tutoring)
summer 21: Algorithm Theory (organization and tutoring)
winter 20/21: Algorithm Engineering Project (organization and tutoring)
summer 20: Algorithm Engineering Project (organization and tutoring)
winter 19/20: Competitive Algorithmics Project (organization, lecturing)
Computability and Complexity (organization and tutoring)
summer 19: Competitive Algorithmics Project (organization, lecturing)
Computational Complexity (master's lecture, exercises)
winter 18/19: Competitive Algorithmics Project (co-organization)
summer 17: Algorithm Theory (student tutor)
winter 16/17: Discrete Structures (student tutor)

Co-supervised Bachelor's and Master's Theses

Marharyta Horak
Comparing Fair Group-Based and Group-Oblivious Clustering Methods: An Experimental Study
bachelor's thesis (2025)
Helene Nicolai
From Vehicles to Footpaths: Adapting Routing Algorithms for Multi-Day Hiking Tours
bachelor's thesis (2025)
Levi Geiser
Approximation Algorithms for Fair Correlation Clustering
master's thesis (2024)
Felicitas Engelhardt
The Influence of Fairness on the Complexity of Colored Clustering
bachelor's thesis (2023)
Christian Wallisch
Placing Green Bridges to Reconnect Habitats Densely: Algorithms and Complexity
bachelor's thesis (2023)  |  resulted in a publication.
Kimberly Lange
Clustering into Core-Periphery Structures - Algorithms and Experiments
master's thesis (2023)
Justus Coulin
Parameterized Algorithmics for Reachability Minimization in Temporal Graphs
bachelor's thesis (2022)
Gustavo Eggert Martinez
Algorithms for and Complexity of Graph Clustering Based on Edge Categories
bachelor's thesis (2022)
Gero Embser
Algorithm Engineering im Kontext Quadratischer Programme
bachelor's thesis (2021)
Maike Herkenrath
The Influence of Habitat Structure on the Algorithmic Complexity of Placing Green Bridges
bachelor's thesis (2021)  |  resulted in a publication.
Lilian Jacobs
Opinion Diffusion and Spread Minimization in Networks with Undecided Agents
master's thesis (2021)
Lito Goldmann
Parameterized Complexity of Modifying Graphs to be Biclique-free
master's thesis (2021)  |  resulted in a publication.
Jonas Schulte-Mattler
Algorithmen und Experimente für das Electric Vehicle Scheduling-Problem
bachelor's thesis (2021)
Lino Steinhau
Parameterized Algorithmics of Multistage Matching
bachelor's thesis (2020)
Justus Flerlage
Optimierung von Umbuchungen in Raumplänen
bachelor's thesis (2020)
Dawid Wlodarczak
Längenbegrenzte, ganzzahlige Netzwerkflüsse: Struktur und Komplexität
bachelor's thesis (2020)
Philipp Günther
Aperiodic and Group-Sensitive Constraints on Curriculum-Based Timetabling
bachelor's thesis (2019)