Teaching
-
Advanced Automata Theory 2024 (instructor)
- RPTU Kaiserslautern core master course (8 ECTS) (joint with Anne-Kathrin Schmuck)
Teaching Assistant
- Concurrency Theory (Chennai Mathematical Institute, India)
- Mathematical Logic (Chennai Mathematical Institute, India)
Thesis/Internship Supervision
-
Sarah Langenstein, RPTU Kaiserslautern, Germany
- Project: Different Settings for Timed Games
-
Lars Van Roy, University of Antwerp, Belgium
- Project: C Code Conversion to One Counter Automata for Reachability Analysis
-
Igor Schittekat, University of Antwerp, Belgium
- Project: Polyregular relations
-
Pieter Hendriks, University of Antwerp, Belgium
- Project: Learning an Efficient Online STL Robustness Monitor
Program Committee
Conference Reviewer
- ICALP 2025
- CSL 2024
- MFCS 2022
- FSTTCS 2021
- FORMATS 2020
Journal Reviewer
- Science of Computer Programming 2024
- ACM Transactions on Computational Logic 2023
- Information & Computation 2020
- Information Processing Letters 2020