Academic Activities

Editorial Boards & Program Committees

Associate Editor for the IFAC journal Nonlinear Analysis: Hybrid Systems (NAHS)
Associate Editor for the IEEE Control Systems Letters (L-CSS)
IEEE CSS Conference Editorial Board (CEB)
IEEE CSS Technology Conferences Editorial Board (TCEB)
Associate Editor for the IEEE Open Journal of Control Systems, Special Section on “Intersection of Machine Learning with Control”
Area Chair for the 8th Annual Learning for Dynamics & Control Conference (L4DC 2026)
Poster/Demo Chair for the Joint 29th ACM International Conference on Hybrid Systems: Computation and Control and 17th ACM/IEEE International Conference on Cyber-Physical Systems (HSCC/ICCPS 2026), as part of CPS-IoT Week 2026
Program Committee for the Joint 29th ACM International Conference on Hybrid Systems: Computation and Control and 17th ACM/IEEE International Conference on Cyber-Physical Systems (HSCC/ICCPS 2026), as part of CPS-IoT Week 2026
Program Committee for the 8th Annual Learning for Dynamics & Control Conference (L4DC 2026)
Associate Editor for the American Control Conference (ACC 2026)
Associate Editor for the 24th European Control Conference (ECC 2026)
Associate Editor for the 28th IEEE International Conference on Intelligent Transportation Systems (ITSC 2025)
Associate Editor for the 64th IEEE Conference on Decision and Control (CDC 2025)
Associate Editor for the 9th IEEE Conference on Control Technology and Applications (CCTA 2025)
Program Committee for the IEEE International Conference on Reliable Autonomous Systems (ERAS 2025)
Program Committee for the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025), as part of CPS-IoT Week 2025
PhD Defence Committee of four students at the Department of Electrical and Computer Engineering, University of Pavia, Italy, 2025
Publicity Chair (European region) for the Cyber-Physical Systems and Internet of Things (CPS-IoT) Week 2025
Publicity Chair for the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025)
Program Committee for the 7th Annual Learning for Dynamics & Control Conference (L4DC 2025)
Associate Editor for the American Control Conference (ACC 2025)
Associate Editor for the 23rd European Control Conference (ECC 2025)
PhD Defence Committee at the Faculty of Information Technology and Electrical Engineering, Norwegian University of Science and Technology, Norway, 2024
PhD Defence Committee at the Department of Electrical Engineering, LUT University, Finland, 2024
Artifact Evaluation Program Committee for the ACM International Conference on the Foundations of Software Engineering (FSE 2024)
Publication Editor for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)
Associate Editor for the 8th IEEE Conference on Control Technology and Applications (CCTA 2024)
Associate Editor for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024)
Program Committee for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)
Program Committee for the 6th Annual Learning for Dynamics & Control Conference (L4DC 2024)
Program Committee for the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024), as part of CPS-IoT Week 2024
Program Committee for the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24), Special Track on Safe, Robust and Responsible Artificial Intelligence
Associate Editor for the 22nd European Control Conference (ECC 2024)
Publication Chair for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024)
Website Co-chair for the IEEE Technical Committee on Hybrid Systems
Publicity Chair for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)
Associate Editor for the 21st European Control Conference (ECC 2023)
Associate Editor for the IEEE Open Journal of Control Systems, Special Section on “Formal Verification and Synthesis of Cyber-Physical Systems”, 2022
Associate Editor for the 20th European Control Conference (ECC 2022)
Program Committee for the 4th IFAC Workshop on Cyber-Physical & Human Systems (CPHS 2022)
Program Committee for the Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCPS) at the CPS-IoT Week 2022
Program Committee for the Posters and Demo Sessions at the 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022)
Program Committee for the Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCPS) at the CPS-IoT Week 2021
IEEE Technical Committee on Hybrid Systems (since 2020)

Workshop & Invited Session Organizing

Organizer of three invited sessions on “Data-Driven Verification and Control with Provable Guarantees” at the 64th IEEE Conference on Decision and Control (CDC 2025)
Organizer of the workshop “Data-Driven Control of Autonomous Systems with Provable Guarantees” at the 64th IEEE Conference on Decision and Control (CDC 2025) - Workshop link
Organizer of the ARCH workshop in “Stochastic Models” category: An annual friendly competition on Applied Verification for Continuous and Hybrid Systems (ARCH 2025)
Organizer of three invited sessions on “Data-Driven Control of CPS with Provable Guarantees: Theory and Application” at the 63rd IEEE Conference on Decision and Control (CDC 2024)
Organizer of the workshop “From Formal Methods to Data-Driven Verification and Control” at the 63rd IEEE Conference on Decision and Control (CDC 2024) - Workshop link
Organizer of the workshop “Data-Driven Verification and Control with Provable Guarantees” at the 22nd European Control Conference (ECC 2024) - Workshop link
Organizer of two invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 22nd European Control Conference (ECC 2024)
Organizer of three invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 62nd IEEE Conference on Decision and Control (CDC 2023)
Co-organizer of the ARCH workshop in “Stochastic Models” category: An annual friendly competition among software tools for stochastic hybrid systems at the CPS-IoT Week 2023
Organizer of the workshop “Data-Driven Verification and Control of Cyber-Physical Systems” at the IFAC World Congress 2023 - Workshop link

Session Chair

Chair of invited sessions on “Data-Driven Verification and Control with Provable Guarantees” at the 64th IEEE Conference on Decision and Control (CDC 2025)
Chair of invited sessions on “Data-Driven Control of CPS with Provable Guarantees: Theory and Application” at the 63rd IEEE Conference on Decision and Control (CDC 2024)
Chair of the session “Learning” at the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024)
Chair of invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 22nd European Control Conference (ECC 2024)
Chair of multiple invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 62nd IEEE Conference on Decision and Control (CDC 2023)
Chair of the session “Stochastic Systems” at the 61st IEEE Conference on Decision and Control (CDC 2022)
Co-chair of the session “Large-Scale Systems” at the 61st IEEE Conference on Decision and Control (CDC 2022)
Chair of the session “Stochastic System” in Virtual American Control Conference (ACC 2022)
Co-chair of the session “Hybrid Systems Session” in Virtual American Control Conference (ACC 2022)

Reviewing Activities

Journals: IEEE Transactions on Automatic Control (TAC), IEEE Transactions on Control of Network Systems (TCNS), Automatica, Nonlinear Analysis: Hybrid Systems (NAHS), European Journal of Control (EJCON), ACM Transactions on Embedded Computing Systems (TECS), IEEE Control Systems Letters (L-CSS), IEEE Transactions on Intelligent Transportation Systems (ITS), IEEE Systems Journal, Systems & Control Letters, International Journal of Robust and Nonlinear Control, Mathematics of Control, Signals, and Systems
Conferences: ACM Conference on Hybrid Systems: Computation and Control (HSCC), ACM/IEEE Conference on Cyber-Physical Systems (ICCPS), AAAI Conference on Artificial Intelligence, IEEE Conference on Decision and Control (CDC), European Control Conference (ECC), American Control Conference (ACC), IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), IFAC World Congress, IEEE Conference on Intelligent Transportation Systems (ITSC), Symposium on Mathematical Theory of Networks and Systems (MTNS), Formal Modeling and Analysis of Timed Systems (FORMATS), Indian Control Conference (ICC)

Invited Talks

Oxford Verification Seminar, University of Oxford, UK, “From Local Data to Global Control of Large-Scale Stochastic Cyber-Physical Systems”, December 2025.
Workshop Talk at IEEE CDC 2025, Brazil, “Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees”, December 2025.
University of Pavia, Italy, “From Data to Control: A Compositional Framework for Large-Scale Stochastic Cyber-Physical Systems”, February 2025.
KTH Royal Institute of Technology, Sweden, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, September 2024.
Online ISS Seminar, “Formal Learning and Control of Large-Scale CPS via ISS Properties”, July 2024. (Video of my presentation)
Oxford Control Seminar, University of Oxford, UK, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, February 2024.
Shanghai University, China, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, September 2023.
Workshop Talk at IFAC World Congress, Japan, “Data-Driven Verification and Control of Cyber-Physical Systems”, July 2023.
KTH Royal Institute of Technology, Sweden, “Safe Verification and Control of Large-Scale Stochastic Cyber-Physical Systems”, December 2022.
King's College London, UK, “Safe Learning and Control of Cyber-Physical Systems”, November 2022.
Massachusetts Institute of Technology (MIT), USA, “Safe Learning and Control of Cyber-Physical Systems”, October 2022.
The University of Edinburgh, Scotland, “Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees”, October 2022.
Technical University of Munich, Germany, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, May 2022.
Imperial College London, UK, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems”, April 2022.
University of Stuttgart, Germany, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, November 2021.
ETH Zurich, Switzerland, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques”, December 2020.
EPFL, Switzerland, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques”, October 2020.
Munich Aerospace, Germany, “Compositional Abstractions for Large-Scale Stochastic Cyber-Physical Systems”, July 2018.