Registered user since Wed 9 Mar 2022
Name:Livia Lestingi
Country:Italy
Affiliation:DEIB, Politecnico di Milano
Personal website: https://www.deib.polimi.it/eng/people/details/834948
X (Twitter): https://x.com/livia_lestingi
GitHub: https://github.com/LesLivia
Research interests:Software Engineering, Formal Methods, Cyber-Physical Systems
Contributions
FM 2026-profile
View general profile
View general profile