October 2024: Viktoria Novikova, PhD candidate, joins the research group. Welcome Viktoria!

October 2024: Basak Kocaoglu, PhD candidate, joins the research group. Welcome Basak!

February 2024: Edoardo Pona, PhD candidate, joins the research group. Welcome Edoardo!

October 2023: Jess Lally, PhD candidate, joins the research group. Welcome Jess!

October 2023: Hannah Lydon, PhD candidate, joins the research group. Welcome Hannah!

October 2022: Tom Kuipers, PhD candidate, joins the research group. Welcome Tom!

September 2022: Best Paper Award at FORMATS’22

Our paper An STL-Based Formulation of Resilience in Cyber-Physical Systems received the best paper award at FORMATS’22, the 20th International Conference on Formal Modeling and Analysis of Timed Systems.

September 2022: Nicola will join the HSCC 2023 PC and serve as Publicity Chair for ICCPS 2023

Nicola will take part in the program committee of HSCC 2023, the 26th ACM International Conference on Hybrid Systems: Computation and Control, and he will be publicity chair of ICCPS 2023, the 14th ACM/IEEE International Conference on Cyber-Physical Systems, both co-located with CPS-IoT Week 2023 in San Antonio, Texas.

July 2022: Nicola in Daghstul Seminar on Security of Machine Learning

Nicola attended the Daghstul Seminar on Security of Machine Learning.

June 2022: Lorentz Center Workshop on Rigorous Automated Planning

Nicola was glad to attend the Lorentz Center Workshop on Rigorous Automated Planning.

March 2022: Nicola and collaborators secure an HORIZON-RIA grant

Our consortium was awarded an EC HORIZON-RIA grant on REXASI-PRO: REliable & eXplAinable Swarm Intelligence for People with Reduced mObility (ID: 101070028).

December 2021: Nicola wins an EPSRC New Investigator Award

Nicola been awarded an EPSRC New Investigator Award on MCPS-Verisec: Model-based security of medical cyber-physical systems (EP/W014785/2).