Talks and presentations

• December 2023: Online talk on “Distributed analysis and control of large scale cyper physical systems“ at the Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen).
• September 2023: “Distributed synthesis of STL for multi-agent systems via assume-guarantee contracts“, part of the Contract-Based Design Workshop at KTH Royal Institute of Technology.
• June 2023: “Secure-by-construction synthesis of cyber-physical systems” at University of Science and Technology Beijing (USTB).
• June 2023: Online talk on “Secure-by-construction synthesis of large-scale cyber-physical systems” at Beijing Institute of Technology (BIT).
• December 2022: “Formal methods in control” at Eindhoven University of Technology (TU/e).
• December 2022: “Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts” in 61st Conference on Decision and Control (CDC).
• July 2022: “Verification of approximate infinite-step opacity using barrier certificates” in European Control Conference (ECC).
• March 2022: Online talk on “Compositional synthesis of opacity for large-scale cyber-physical systems” at Indian Institute of Science (IISc).
• June 2021: “Compositional reasoning on interconnected systems via assume-guarantee contracts” at KTH Royal Institute of Technology.
• May 2021: Online talk on “Verification of approximate opacity via barrier certificates” in 2021 American Control Conference (ACC).
• December 2020: “Verification of approximate opacity via barrier certificates” at KTH Royal Institute of Technology.
• December 2020: Online talk on “Compositional verification of initial-state opacity for switched systems” in 59th Conference on Decision and Control (CDC).
• July 2020: Online talk on “On a notion of approximate opacity for discrete-time stochastic control systems” in 2020 American Control Conference (ACC).
• July 2019: “Compositional synthesis of almost maximally permissible safety controllers” in 2019 American Control Conference (ACC).