Service

Program Committee

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

Organizing Committee

• Workshop on Post-AI Formal Methods (P-AI-FM) @ AAAI 2026, co-chair
• Singapore Programming Languages Summit 2025, co-chair
• 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