Below are some of the selected projects I have been involved with. For more details, please visit the respective project websites.
The RAILS project aims to integrate artificial intelligence into the railway sector, fostering innovation and enhancing safety and efficiency. In this project, I served as the coordinator, facilitating collaboration among partners and guiding the overall research direction.
https://projects.shift2rail.org/s2r_ip2_n.aspx?p=S2R_PERFORMINGRAIL
PERFORMINGRAIL focuses on performance-based formal modelling and optimal traffic management for moving-block railway signalling. In this project, I led the CINI unit, contributing to the formal modelling of moving-block specifications for creating safer and more efficient railway systems.
Last Update: March 2025