ITA
ENG
ITA
ENG
  • News & Events
    • News
    • Events
  • About us
    • Mission
    • From the chairman
    • Governance
    • People
    • Facts at a glance
    • Awards
  • Research
    • Strategies
    • Research Areas
    • Interdisciplinary research areas
    • Research Lines
    • Research Projects
    • Laboratories
    • Patents
    • Research Staff
    • Joint Research Platform
    • Research centers
    • PhD Programs
  • Industry
    • Competencies
    • Collaboration
    • Training
    • Spin-off
    • Industry 4.0
  • International relationships
    • Targets
    • Networks of excellence
    • International programs
    • Associations
    • Info for Incoming Visiting
  • Teaching
    • Prospective students
    • Teaching Offer
    • Percorsi Alta Formazione
    • Traineeships
    • Teachers
    • Student Office
    • Theses
    • Foreign students
    • Opportunities for students
    • Tutoring
    • Job opportunities
  • Work with us
    • Public competitions
    • Teaching collaborations
    • Research fellowship
 » About us » People
LESTINGI LIVIA
Research assistant
Research collaborator
Campus: Building 22
Floor: 3°
Office: 001
Ph.: 3707
[javascript protected email address]
Curriculum Vitae
Research areas:
  • Computer Science and Engineering
Research Line:
  • Advanced software architectures and methodologies
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.
HOW TO REACH US
map
Via Ponzio 34/5,
20133 Milano
Italia
CONTACTS and PEC
ph. +39 02 2399 3400
pecdeib@cert.polimi.it
(Usable by PEC to PEC)
INTRANET
ADDRESS BOOK
SUBSCRIBE TO THE NEWSLETTER
PRIVACY POLICY - COOKIE POLICY
COOKIE PREFERENCES