Service

Program Chair

• Principles of Certification (PoC) workshop @ CAV 2027, co-chair
• Workshop on Post-AI Formal Methods (P-AI-FM) @ AAAI 2026, co-chair

Program Committee

• 2027: AAAI, CAV, TACAS, OOPSLA, HSCC
• 2026: AAAI, AAAI-DC, TACAS, PLDI, IJCAI-ECAI, NeurIPS, ATVA, SAIV, SETTA
• 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

Organization

• Programming Languages Mentoring Workshop (PLMW) @ PLDI 2027, co-chair
• NII Shonan Meeting No. 237 “Frontiers of Formal Methods for Probabilistic Models and Programs”
• Programming Languages Mentoring Workshop (PLMW) @ PLDI 2026, co-chair
• Singapore Programming Languages Summit 2025, co-chair
• Programming Languages Mentoring Workshop (PLMW) @ PLDI 2025