Teaching and Mentoring

Teaching Experience as Lecturer

• Complexity Theory (M.Sc, 2024-2025)
  Technical University of Munich

• Seminar on Advanced Complexity Theory (M.Sc, 2024-2025)
  Technical University of Munich

• Algorithms 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 Munich

• Complexity 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 Munich

• Mika Alkabetz: Fine-grained Complexity of Integer Counter Systems (2025)
  Bachelor’s thesis
  Technical University of Munich

• Zixuan Fan: Quantified Horn Formulas over Linear Rational Arithmetic (2024-2025)
  Guided research project
  Technical University of Munich

• Lucie Guillouw: Parameterized Analysis of Reconfigurable Broadcast Networks (2022)
  Research internship; Co-supervised with Chana Weil-Kennedy
  ENS Rennes

• Florian Kessler: Exact Values for Longest Controlled Bad Sequences over Vectors of Natural Numbers (2021-2022)
  Guided research project
  Technical University of Munich