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