Tipology:
Recognitions to Phd students
2021 - LESTINGI LIVIA
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.