teaching

Courses taught and theses supervised at the Technical University of Munich.

Courses

Winter Semester 2025/2026

  • Discrete Structures (Teaching Assistant) Mandatory foundational math course for ~800 Computer Science undergraduates.

    I was responsible for the organization of exercise sessions and the coordination of a team of 20 student tutors. My role included preparing exercise sheets and maintaining the digital course infrastructure via Moodle and TUMexam.

  • Discrete Structures (Tutor) I was tutor for three exercise classes in discrete structures.

  • Seminar: Model Checking Stochastic Games (Instructor) Advanced research seminar focused on formal verification.

    Directly supervising six students in analyzing papers on the formal verification of stochastic games.

Summer Semester 2025

  • Seminar: Model Checking Stochastic Games (Instructor) Advanced research seminar focused on formal verification.

    Directly supervising six students in analyzing papers on the formal verification of stochastic games.

Winter Semester 2024/2025

  • Seminar: Model Checking Stochastic Games (Instructor) Advanced research seminar focused on formal verification.

    Directly supervising six students in analyzing papers on the formal verification of stochastic games.

  • Seminar: Recent Advances in the Verification of Neural Networks (Instructor) Advanced research seminar focused on verification of neural networks.

    Supervised students in two advanced research seminars, focusing on Stochastic Games and Neural Network Verification.

Summer Semester 2024

  • Introduction to Theoretical Computer Science (Tutor) Mandatory course on automata theory and formal languages

    Taught foundational automata theory and formal languages to a group of 15 students.

Thesis Supervision

Winter Semester 2025/2026

  • Automatic Generation of Exercises of DFA Construction in Automata Tutor (Bachelor Thesis) Faculty of Informatics, Masaryk University Brno

  • Modular and Scalable Architecture for Automata Tutor (Bachelor Thesis) Faculty of Informatics, Masaryk University Brno

Winter Semester 2024/2025

  • Logic Constrained Multi-dimensional Reward Optimization in Stochastic Games (Master Thesis) Technical University of Munich

Summer Semester 2024

  • Quadratic-programming-aided Value Iteration Algorithm for Concurrent Stochastic Games (Bachelor Thesis) Technical University of Munich

Summer Semester 2023

  • Development and Integration of a Database for Automata Tutor (Master Thesis) Technical University of Munich