|
Academic Activities
Editorial Boards & Program Committees
Associate Editor for the 24th European Control Conference (ECC 2026)
Co-organizer of the workshop “Data-Driven Control of Autonomous Systems with Provable Guarantees” at the 64th IEEE Conference on Decision and Control (CDC 2025)
Associate Editor for the 28th IEEE International Conference on Intelligent Transportation Systems (ITSC 2025)
Co-organizer of the invited session on “Data-Driven Verification and Control with Provable Guarantees” at the 64th IEEE Conference on Decision and Control (CDC 2025)
Co-organizer of the 9th International Competition on Verifying Continuous and Hybrid Systems (ARCH 2025) – Stochastic Models Category
Program Committee for the 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025)
Program Committee for Posters/Demos Session of the 16th ACM-IEEE International Conference on Cyber-Physical Systems (ICCPS 2025)
Co-chair of the session “Formal Verification” at the 63rd IEEE Conference on Decision and Control (CDC 2024)
Associate Editor for the 23rd European Control Conference (ECC 2025)
Associate Editor for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024)
Program Committee for Posters/Demos Session of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024)
Program Committee for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)
IEEE Technical Committee on Hybrid Systems (2020 - Present)
Member of Newcastle Academic Centre of Excellence in Cyber Security Research (ACE-CSR)
Member of International Federation of Automatic Control (IFAC)
Member of IEEE Control System Society
Member of IEEE Young Professionals
Reviewing Activities
Journals: IEEE Transaction on Automatic Control (TAC), Automatica, Information and Computation Journal, Nonlinear Analysis: Hybrid Systems (NAHS), IEEE Control Systems Letters (L-CSS), IEEE Systems & Control Letters
Conferences: Learning for Dynamics and Control Conference (L4DC), 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), IEEE Conference on Control Technology and Applications (CCTA), IFAC World Congress
Invited Talks
UK Mathematical Systems and Control Theory Network, “Data-driven Safety Synthesis of Autonomous Systems with Provable Guarantees”, July 2025.
Max Plank Institute for Software Systems (MPI-SWS), “Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques”, July 2023.
Karlsruhe Institute of Technology (KIT), “Safe Verification, Learning and Control of Stochastic Autonomous Systems: Model-based and Data-driven Techniques”, May 2023.
Siemens AG, “Safe Verification, Learning and Control of Stochastic Autonomous Systems: Model-based and Data-driven Techniques”, March 2023.
Huawei Research Center, “Safe Verification, Learning and Control of Stochastic Autonomous Systems: Model-based and Data-driven Techniques”, February 2023.
Conference Presentation & Workshop Attendance
December 2024: 63rd IEEE Conference on Decision and Control (CDC), Milan, Italy
May 2024: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024), Hong Kong
December 2023: 62nd IEEE Conference on Decision and Control (CDC), Singapore
July 2023: IFAC World Congress, Yokohama, Japan
December 2022: 61st IEEE Conference on Decision and Control (CDC), Cancún, Mexico
May 2022: 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Milan, Italy
May 2022: Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)
July 2021: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belgium
June 2021: EPFL & ETHZ Summer School on Foundation and Mathematical Guarantees for Data-Driven Control, ETH Zurich, Switzerland
April 2020: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
December 2020: Data-Driven Control Workshop in CDC 2020, Jeju Island, Republic of Korea
December 2020: 59th IEEE Conference on Decision and Control (CDC), Jeju Island, Republic of Korea
July 2020: 21st IFAC World Congress, Berlin, Germany
June 2019: European Control Conference (ECC), Naples, Italy
April 2019: TUM Seminar: Presenting Papers and Posters at International Conferences, Munich, Germany
March 2019: TUM Seminar: Scientific Paper Writing, Munich, Germany
July 2018: Munich Aerospace Summer School, Munich, Germany
April 2018: 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Porto, Portugal
June 2017: TUM Workshop: Information and Communication Theory in Control Systems, Munich, Germany
|