Event Organization
Service
- Artifact Evaluation Committee co-Chair of TACAS 2024.
- Publicity co-Chair of CAV 2025, CAV 2024.
- Program Committee Member at TACAS 2026, CAV 2025, TACAS 2025, iFM 2024, ICTAC 2024, CAV 2024, STACS 2024, DATE 2024, VMCAI 2024, CAV 2022, ALT 2022.
- Artifact Evaluation Committee Member at ATVA 2024, TACAS 2023.
- Journal Reviewer at Formal Methods in System Design (FMSD),
Journal of Machine Learning Research (JMLR), Acta Informatica.
- Conference Reviewer at POPL 2025, FSTTCS 2024, ATVA 2023, CONCUR 2023, TACAS 2023, TACAS 2022, CSL 2022, TACAS 2021, ICALP 2021, CAV 2020, TACAS 2020, TACAS 2019, TACAS 2018, TACAS 2017, VMCAI 2017.