Academic Services

• Program Committee
  • ICFEM 2025, SETTA 2025, TASE 2025, FMAC 2025 (PC Co-Chair) at ChinaSoft 2025.
  • Internetware 2024.
  • ECOOP 2022.
• Organization Committee
  • ATVA 2025 (AE Co-Chair), ICFEM 2025 (Publicity Chair).
  • ATVA 2024 (Publicity Chair), FORMATS 2024 (Publicity Chair).
  • SSFM 2019.
  • SSFM 2018.
• Artifact Evaluation Committee / Posters and Demos Committee
  • ATVA 2025 (Co-Chair).
  • ATVA 2024, CAV 2024, FM 2024.
  • CAV 2023, HSCC 2023.
  • ECOOP 2022, HSCC 2022.
• Conference reviewer
  • POPL 2026.
  • ICCPS 2025.
  • ATVA 2024, EMSOFT 2024, FASE 2024, FoSSaCS 2024, LICS 2024.
  • FM 2023, HSCC 2023, TACAS 2023.
  • ECOOP 2022, ICCPS 2022, RTSS 2022, TASE 2022.
  • ADHS 2021, CAV 2021, EMSOFT 2021, FM 2021, HSCC 2021, TASE 2021.
  • HSCC 2020, iFM 2020, RTSS 2020, TASE 2020.
  • EMSOFT 2019, ICFEM 2019, RTSS 2019.
• Journal reviewer
  • ACM Transactions on Privacy and Security (TOPS).
  • ACM Transactions on Software Engineering and Methodology (TOSEM).
  • Formal Aspects of Computing (FAC).
  • Science of Computer Programming.
  • IFAC Journal of System and Control.
  • Real-Time Systems.
  • Machine Learning.
• Volunteer
  • FM 2021.
  • CONFESTA 2018.