Prof. LESTINGI LIVIA
Assistant professor

Research areas:
Research Line:
Livia earned a Ph.D. in Information Technology (Computer Science and Engineering area) at Politecnico di Milano in 2023. Her Ph.D. thesis proposes a model-driven framework to design, deploy, and refine interactive service robotic applications, focusing on human behavior and physiology modeling. She holds a B.Sc. and M.Sc. in Automation and Control Engineering from Politecnico di Milano, earned in 2014 and 2017, respectively. Her Master's Thesis, developed in collaboration with the Italian National Research Council, focuses on automating the safety analysis of collaborative industrial robotic applications.
She is currently a Postdoctoral researcher at DEIB within the DeepSE group. Her research interests involve stochastic formal modeling techniques and automata learning algorithms for analyzing and predicting complex Cyber-Physical Systems' behavior.
She serves as a reviewer of international journals and a member of the program committee of international conferences and workshops. She is 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.
She is currently a Postdoctoral researcher at DEIB within the DeepSE group. Her research interests involve stochastic formal modeling techniques and automata learning algorithms for analyzing and predicting complex Cyber-Physical Systems' behavior.
She serves as a reviewer of international journals and a member of the program committee of international conferences and workshops. She is 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.