Service

Co-Organizer

Autobóz 2025

PC Member

STACS 2026, ATVA 2025

Reviewer

• Conferences: FoSSaCS 2026, MFCS 2025, ICALP 2025, LICS 2024, CONCUR 2024, CONCUR 2023, MFCS 2023, FoSSaCS 2023, TACAS 2023, Petri Nets 2023, FoSSaCS 2022, TACAS 2022, Petri Nets 2022, CONCUR 2022, Petri Nets 2021, CAV 2021, ATVA 2021, ATVA 2020, ICALP 2020

• Journals: Logical Methods in Computer Science, Information and Computation, Innovations in Systems and Software Engineering, Mathematical Structures in Computer Science.