Service

Program Committee

• 2025: AAAI 2025, VMCAI 2025, CAV 2025
• 2024: AAAI 2024, IJCAI 2024, ECAI 2024, ATVA 2024, SETTA 2024 (Distinguished Reviewer Award)
• 2023: AAAI 2023, ECAI 2023, CAV AEC 2023
• 2022: CAV AEC 2022

Reviewer/External Reviewer/Subreviewer

• 2024: POPL 2024, TACAS 2024, LICS 2024, ISSAC 2024
• 2023: FSTTCS 2023, CONCUR 2023, CDC 2023, ATVA 2023, LPAR 2023
• 2022: ICML 2022, AAMAS 2022, FoSSaCS 2022