Service

Co-organizer
HYPER 2026 workshop (co-located with FLoC/CAV 2026)

Program committee member
CONCUR 2026, VMCAI 2026 (AEC), CAV 2025 (AEC), CAV 2024 (AEC)

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