Supervision

I 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'd like to explore potential projects, please send me a short email about your background and interests.

Supervised Projects

Signal First-Order Logic Neural Control

Guangyu Zhu · MSc thesis · Veritas Lab, Leiden University · 2026

Extending QuAK with Nested Quantitative Automata

papercode

Harun Yılmaz · Internship · Thomas Henzinger Group, ISTA · 2025

Published at CAV 2026.

Quantitative Language Automata

paper

Pavol Kebis · Rotation · 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 · 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.