Service

Artifact evaluation committee member
CAV 2024

Reviewer
Conferences: 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 the Institute of Science and Technology Austria

Student buddy (2023, 2020)
for incoming PhD students at the Institute of Science and Technology Austria

Publication database maintainer (2020 - now)
for the Thomas Henzinger Group at the Institute of Science and Technology Austria