Co-Chair
Chief Guest Editor
- NAHS Special Issue on Hybrid Systems: Computation and Control and Cyber-Physical Systems 2026 (2026)
- WODES — Handling all papers co-authored by the organizers (2026)
Associate Editor
- IROS — International Conference on Intelligent Robots & Systems 2026
- ICRA — IEEE International Conference on Robotics & Automation 2026
- 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
- Workshop Chair for CCTA’27 in Hiroshima, Japan
- 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
- CDC’27
- ADHS’27
- ICLR’27
- TACAS’27
- ATVA’26
- ICRA’26
- AAAI’26
- TACAS’26
- CDC’25
- HSCC’25
- ICCPS’25
- CAV’25
- ICALP’25
- TACAS’25
- 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
- EMSOFT’18 (WiP-Track)