Academic Activities
 

Editorial Boards & Program Committees

  • Program Committee for the 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025), as a part of CPS-IoT Week 2025

  • PhD Defence Committee 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)

  • IEEE CSS Conference Editorial Board (CEB)

  • 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 a 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 IFAC journal Nonlinear Analysis: Hybrid Systems (NAHS) since February 2023

  • IEEE CSS Technology Conferences Editorial Board (TCEB)

  • Associate Editor for the 21st European Control Conference (ECC 2023)

  • Associate Editor for a Special Section entitled “Formal Verification and Synthesis of Cyber-Physical Systems” in IEEE Open Journal of Control 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 Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCPS) at the CPS-IoT Week 2022

  • Program Committee for WIP, Posters and Demo Sessions of 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022)

  • Program Committee for 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)

Conference/Workshop Organizing

  • 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 a workshop on “From Formal Methods to Data-Driven Verification and Control” at the 63rd IEEE Conference on Decision and Control (CDC 2024) - link to workshop

  • Organizer of a workshop on “Data-Driven Verification and Control with Provable Guarantees” at the 22nd European Control Conference (ECC 2024) - link to workshop

  • 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)

  • Organizer of the ARCH initiative: “An annual friendly competition among software tools for stochastic hybrid systems” at the CPS-IoT Week 2023

  • Organizer of a workshop on “Data-Driven Verification and Control of Cyber-Physical Systems” at the IFAC World Congress 2023 - link to workshop

Session Chair

  • 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 Systems Journal, Systems & Control Letters, International Journal of Robust and Nonlinear Control, IEEE Transactions on Intelligent Transportation Systems (ITS)

  • Conferences: ACM Conference on Hybrid Systems: Computation and Control (HSCC), AAAI Conference on Artificial Intelligence, IEEE Conference on Decision and Control (CDC), IEEE European Control Conference (ECC), IEEE American Control Conference (ACC), IEEE Indian Control Conference (ICC), IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), IFAC World Congress, Formal Modeling and Analysis of Timed Systems (FORMATS), Symposium on Mathematical Theory of Networks and Systems (MTNS), IEEE Conference on Intelligent Transportation Systems (ITSC) Data Data1 Data2

Invited Talks

  • KTH Royal Institute of Technology, “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, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, February 2024.

  • Shanghai University, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, September 2023.

  • Workshop Talk at IFAC World Congress, “Data-Driven Verification and Control of Cyber-Physical Systems”, July 2023.

  • KTH Royal Institute of Technology, “Safe Verification and Control of Large- Scale Stochastic Cyber-Physical Systems”, December 2022.

  • King's College London, “Safe Learning and Control of Cyber-Physical Systems”, November 2022.

  • Massachusetts Institute of Technology (MIT), “Safe Learning and Control of Cyber-Physical Systems”, October 2022.

  • The University of Edinburgh, “Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees”, October 2022.

  • Newcastle University, “Safe Learning and Control of Cyber-Physical Systems”, October 2022.

  • Technical University of Munich, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, May 2022.

  • Imperial College London, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems”, April 2022.

  • University of Stuttgart, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, November 2021.

  • ETH Zurich, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques”, December 2020.

  • EPFL, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques”, October 2020.

  • Munich Aerospace, “Compositional Abstractions for Large-Scale Stochastic Cyber-Physical Systems”, July 2018.