Scholar
Livia Lestingi
Google Scholar ID: uQjei2kAAAAJ
Politecnico di Milano
Citations & Impact
Citations
172
H-index
9
i10-index
6
Publications
20
Co-authors
18
list available
Publications
Resume (English only)
Academic Achievements
- - Reviewer for international journals
- - Member of the program committee for international conferences and workshops
- - Organizing Committee member of the International Conference on Formal Methods in Software Engineering (FormaliSE) in 2022
- - Organizing Committee member of the International Symposium on Formal Methods (FM) in 2024
Research Experience
- - Current Position: Postdoctoral Researcher at DEIB within the DEEP-SE group, Department of Electronics, Information, and Bioengineering (DEIB)
- - Research Projects: Focuses on analyzing and predicting the behavior of complex Cyber-Physical Systems
Education
- - Ph.D. in Information Technology (Computer Science and Engineering area) from Politecnico di Milano, 2023
- - M.Sc. in Automation and Control Engineering from Politecnico di Milano, 2017, Master's Thesis developed in collaboration with the Italian National Research Council, focusing on automating the safety analysis of collaborative industrial robotic applications
- - B.Sc. in Automation and Control Engineering from Politecnico di Milano, 2014
Background
- - Research Interests: Stochastic formal modeling techniques and automata learning algorithms
- - Professional Field: Computer Science and Engineering, Automation and Control Engineering
- - Brief Introduction: Her PhD research focuses on designing, deploying, and refining interactive service robotic applications, with a focus on human behavior and physiology modeling.
