Service

Co-organizer
HYPER 2026 (planned as a FLoC/CAV 2026 workshop)

Program committee member
VMCAI 2026 (artifact evaluation), CAV 2025 (artifact evaluation), CAV 2024 (artifact evaluation)

Reviewer
Conferences: CONCUR 2025, RV 2024 (x2), MFCS 2024, FSTTCS 2023, ATVA 2023, CONCUR 2023
Journals: Innovations in Systems and Software Engineering
Other: Principles of Systems Design (Tom Henzinger Festschrift)

Pre-screener (2024, 2023)
for PhD applications at ISTA

Publication database maintainer (2020 - 2025)
for the Thomas Henzinger Group at the ISTA