Supervision

I co-supervise Bachelor's and Master's theses at TUM on topics related to my research, with projects ranging from mathematical foundations to tool development.

If you're interested, please email me with a few sentences about what you'd like to explore, and we can find a direction together.

Supervised projects

Extending QuAK with Nested Quantitative Automata

papercode

Harun Yılmaz · Internship · Co-supervisor at Thomas Henzinger Group, ISTA · 2025

Published at CAV 2026.

Quantitative Language Automata

paper

Pavol Kebis · Rotation · Co-supervisor at Thomas Henzinger Group, ISTA · 2024

Published at CONCUR 2025 and invited to an LMCS special issue.

Regular Methods for Operator Precedence Languages

paper

Pavol Kebis · Internship · Co-supervisor at Thomas Henzinger Group, ISTA · 2022

Published at ICALP 2023.

Mentoring

Graduate School Welcome Event

Alumni speaker at ISTA · 2025

Gave a talk on Five Things I Wish I Had Known Earlier in My PhD to incoming graduate students at ISTA.

Incoming PhD Student Mentoring

Student mentor at ISTA · 2023, 2020

Mentored three incoming PhD students across cohorts as they transitioned into ISTA's graduate program.