About me

I earned a Ph.D. in Information Technology (Computer Science and Engineering area) at Politecnico di Milano in 2023. My Ph.D. thesis proposes a model-driven framework to design, deploy, and refine interactive service robotic applications, focusing on human behavior and physiology modeling.

I hold a B.Sc. and M.Sc. in Automation and Control Engineering from Politecnico di Milano, earned in 2014 and 2017, respectively with a Master's Thesis, developed in collaboration with the Italian National Research Council, focusing on automating the safety analysis of collaborative industrial robotic applications.

I am currently a Postdoctoral researcher at DEIB within the DEEP-SE group at the Department of Electronics, Information, and Bioengineering (DEIB). My research interests involve stochastic formal modeling techniques and automata learning algorithms for analyzing and predicting complex Cyber-Physical Systems' behavior.

I serve as a reviewer of international journals and a member of the program committee of international conferences and workshops. I have been a member of the organizing committee of the International Conference on Formal Methods in Software Engineering (FormaliSE) in 2022 and the International Symposium on Formal Methods (FM) in 2024.


THESIS PROPOSALS