Program Committee
Conference Reviewer
- CSL 2024
- MFCS 2022
- FSTTCS 2021
- FORMATS 2020
Journal Reviewer
- ACM Transactions on Computational Logic 2023
- Information & Computation 2020
- Information Processing Letters 2020
Thesis/Internship Supervision, University of Antwerp, Belgium
- Lars Van Roy, Project: C Code Conversion to One Counter Automata for Reachability Analysis
- Igor Schittekat, Project: Polyregular relations
- Pieter Hendriks, Project: Learning an Efficient Online STL Robustness Monitor
Teaching Assistant, Chennai Mathematical Institute, India
- Concurrency Theory
- Mathematical Logic