Upcoming/Ongoing Community Service 

---

 

Selected Program Committees:

• PC co-Chair of RP 2024, TACAS 2024, IJCAR 2022, TAP 2022, LPAR 2020 and CONCUR 2020
• Associate chair of POPL 2026
• Co-Organizer of the Marktoberdorf Summer School 2025
• PC member of ECAI 2025, CAV 2025, CADE 2025 

Community:

• Austrian Rigorous Systems Engineering (ARiSE)