Prof. LESTINGI LIVIA
Assegnista di Ricerca
Professore a Contratto / Supplente - Collaboratore alla Ricerca / Didattica
Professore a Contratto / Supplente - Collaboratore alla Ricerca / Didattica
Livia ha conseguito un dottorato di ricerca in Ingegneria dell'Informazione (area Computer Science and Engineering) presso il Politecnico di Milano nel 2023.
La sua tesi di dottorato propone un framework model-driven per progettare, eseguire sul campo e raffinare applicazioni robotica interattive per il settore dei servizi, con particolare focus sulla modellazione del comportamento e della fisiologia dei soggetti umani coinvolti.
Ha conseguito Laurea Triennale e Magistrale in Ingegneria dell'Automazione presso il Politecnico di Milano, rispettivamente nel 2014 e nel 2017.
La sua tesi di Laurea Magistrale, sviluppata in collaborazione con il Consiglio Nazionale delle Ricerche, si concentra sull'automazione dell'analisi della sicurezza di applicazioni di robotica industriale collaborativa. Al momento, ricopre una posizione come ricercatrice post-dottorato presso il DEIB all'interno del gruppo DeepSE. I suoi interessi di ricerca riguardano tecniche di modellazione formale stocastica e algoritmi di automata learning per l'analisi e la previsione del comportamento di sistemi cyber-fisici complessi.
È revisore di riviste internazionali e membro del program committee di conferenze e workshop internazionali. È membro del comitato organizzatore dell'International Conference on Formal Methods in Software Engineering (FormaliSE) nel 2022 e dell'International Symposium on Formal Methods (FM) nel 2024.
La sua tesi di dottorato propone un framework model-driven per progettare, eseguire sul campo e raffinare applicazioni robotica interattive per il settore dei servizi, con particolare focus sulla modellazione del comportamento e della fisiologia dei soggetti umani coinvolti.
Ha conseguito Laurea Triennale e Magistrale in Ingegneria dell'Automazione presso il Politecnico di Milano, rispettivamente nel 2014 e nel 2017.
La sua tesi di Laurea Magistrale, sviluppata in collaborazione con il Consiglio Nazionale delle Ricerche, si concentra sull'automazione dell'analisi della sicurezza di applicazioni di robotica industriale collaborativa. Al momento, ricopre una posizione come ricercatrice post-dottorato presso il DEIB all'interno del gruppo DeepSE. I suoi interessi di ricerca riguardano tecniche di modellazione formale stocastica e algoritmi di automata learning per l'analisi e la previsione del comportamento di sistemi cyber-fisici complessi.
È revisore di riviste internazionali e membro del program committee di conferenze e workshop internazionali. È membro del comitato organizzatore dell'International Conference on Formal Methods in Software Engineering (FormaliSE) nel 2022 e dell'International Symposium on Formal Methods (FM) nel 2024.