Teaching
- Advanced Automata Theory 2024 (instructor), RPTU Kaiserslautern core master course (8 ECTS) (joint with Anne-Kathrin Schmuck)
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
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
Teaching Assistant, Chennai Mathematical Institute, India
- Concurrency Theory
- Mathematical Logic