Livia Lestingi, PhD candidate in Information Technology at the Department of Electronics, Information and Bioengineering (Politecnico di Milano), was awarded the Best Presentation Award for her talk at the Doctoral Symposium held in conjunction with the 24th International Symposium on Formal Methods (FM 2021).
The talk, titled "Model-Driven Development of Formally Verified Human-Robot Interactions", offers a presentation of the research activity Dr. Lestingi carries out in the field of the application of formal methods to interactive robotic mission design in healthcare settings.
Livia Lestingi is doing her PhD under the supervision of Prof. Matteo Giovanni Rossi (Department of Mechanical Engineering) and Prof. Marcello Maria Bersani (Department of Electronics, Information and Bioengineering).
