Academic Service
Program Committee Member
- MARS 2026
- iFM 2025
- ERAS 2025
- FMAS 2024
Artifact Evaluation Committee Member
- FormaliSE 2027
- TACAS 2027
- TACAS 2026 (Distinguished Reviewer Award)
- TACAS 2025
Co-Organiser
- ISOLA 2026 (Co-organiser of the “X-by-Construction Meets Intersymbolic AI” track)
- HIGHLIGHTS 2026 (Part of the local organisation committee)
Journal Reviewer
- SCP (2026)
Sub-Reviewer
- LICS 2026
- TACAS 2025
- FASE 2022