Teaching and Mentoring
Teaching Experience as Lecturer
Complexity Theory (M.Sc, 2024-2025)
Technical University of MunichSeminar on Advanced Complexity Theory (M.Sc, 2024-2025)
Technical University of MunichAlgorithms and Data Structures (B.Sc, 2024, Co-Lecturer)
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Teaching Experience as (Co)-Head TA
Logic, Automata and Formal Languages, Petri Nets, Seminar on Advanced Complexity Theory,
Complexity Theory, Efficient Algorithms and Data Structures, Games on Graphs
Technical University of MunichComplexity Theory, Theory of Computation, Advanced Programming
Chennai Mathematical Institute
Student Supervision Experience
Franzisco David Schmidt: Paramaterized Hardness of Nested Counter Systems (2025)
Bachelor’s thesis
Technical University of MunichMika Alkabetz: Fine-grained Complexity of Integer Counter Systems (2025)
Bachelor’s thesis
Technical University of MunichZixuan Fan: Quantified Horn Formulas over Linear Rational Arithmetic (2024-2025)
Guided research project
Technical University of MunichLucie Guillouw: Parameterized Analysis of Reconfigurable Broadcast Networks (2022)
Research internship; Co-supervised with Chana Weil-Kennedy
ENS RennesFlorian Kessler: Exact Values for Longest Controlled Bad Sequences over Vectors of Natural Numbers (2021-2022)
Guided research project
Technical University of Munich
