Academic Activities
 

Editorial Boards & Program Committees

  • IEEE CSS Technology Conferences Editorial Board (TCEB)

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

  • Associate Editor for 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

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

  • Associate Editor for European Control Conference (ECC 2022)

  • Program Committee for 4th IFAC Workshop on Cyber-Physical & Human Systems (CPHS 2022)

  • Program Committee for Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCP) 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 (CAADCP) at the CPS-IoT Week 2021

  • IEEE Technical Committee on Hybrid Systems (since 2020)

Reviewing Activities

  • Journals: IEEE Transaction on Automatic Control (TAC), IEEE Transactions on Control of Network Systems (TCNS), Automatica, Nonlinear Analysis: Hybrid Systems (NAHS), ACM Transactions on Embedded Computing Systems (TECS), IEEE Control Systems Letters (L-CSS), IEEE Systems Journal

  • Conferences: ACM Conference on Hybrid Systems: Computation and Control (HSCC), 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)

Invited Talks

  • University of Oxford, “Constructing Symbolic/MDP Abstractions for CPS using Data while Providing Out-of-Sample Performance Guarantees”, 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.

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

  • Newcastle University, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, March 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.