Livia Lestingi, dottoranda in Ingegneria dell’Informazione del Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano, è stata insignita del Best Presentation Award per il suo intervento nel corso del Doctoral Symposium tenutosi in occasione del 24° International Symposium on Formal Methods (FM 2021).

L’intervento, dal titolo “Model-Driven Development of Formally Verified Human-Robot Interactions”, offre una presentazione dell’attività di ricerca che la Dott.ssa Lestingi porta avanti nell’ambito della progettazione di applicazioni robotiche interattive in ambito healthcare tramite l’applicazione di metodi formali, con focus specifico su fisiologia ed esigenze di chi interagisce con le piattaforme robot.