Co-Chair

• IEEE CCS Technical Committee on Discrete Event Systems (since 2019)

Associate Editor

• IFAC Journal on Nonlinear Analysis: Hybrid Systems (since 2023)
• IEEE Open Journal of Control Systems invited section “Formal Verification and Synthesis of Cyber-Physical Systems” (2022 — 2023)
• Springer Journal on Discrete Event Dynamical Systems – Theory and Applications (since 2021)

Organizing Committee Member

• Virtual Talk Series on Discrete Event Systems’23 (Co-organizer)
• Virtual Talk Series on Discrete Event Systems’22 (Co-organizer)
• WODES’22 (Associate Editor)
• ICCPS’22 (Web Co-chair)
• Virtual Lightning Tutorial Series on Discrete Event Systems’21 (Co-organizer)

Program Committee Member

• ADHS’24
• HSCC’24
• ICCPS’24
• WODES’24
• VMCAI’24
• TACAS’24
• WODES’22
• NFM’22
• HSCC’22
• ICCPS’22
• ATVA’21
• ICCPS’21
• HSCC’20 (Poster)
• ICCPS’20
• HSCC’19 (invited, declined due to maternity leave)
• EMSOFT’18 (WiP-Track)