Service
Program committee member
CAV 2024 (artifact evaluation)
Reviewer
Conferences: 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 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