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
Scroll down