Experience

My current research interests involve learning and analysis techniques for complex Cyber-Physical Systems.

I obtained a Ph.D. in Computer Science and Engineering at Politecnico di Milano (Department of Electronics, Information, and Bioengineering).
My research project focuses on the development of service robots applications involving human-robot interaction in non-industrial settings, such as healthcare. This work aims to combine the reliability of formal verification techniques with untraditional models related to human behavior and physiology.

I have attended a two-year Postgraduate Program (Master Universitario di I Livello) titled "Development of Innovative Software Products" while working as a Software Developer as a special grant of Regione Lombardia.
The program enrolls newly-hired professionals and helps them develop both their technical and soft skills.

I obtained an M.Sc. cum laude in 2017 with a thesis titled "HRC-Team: A Model-driven Approach to Formal Verification and Deployment of Collaborative Robotic Applications." The M.Sc. thesis project has been carried out in collaboration with the Italian National Research Council (CNR). The project's context is the development of safer collaborative robotic applications for industrial settings.