
LESTINGI LIVIA
Assistant professor
- Campus:Building 22
- Floor:3°
- Office:036
- Ph.:9038
Research areas:
Research Line:
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.