Service

Program Committee

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

Organizing Committee

• Programming Languages Mentoring Workshop (PLMW) @ PLDI 2025

Reviewer/External Reviewer/Subreviewer

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