Francesco Leofante


I am currently pursuing a Ph.D. in Computer Science at the University of Genoa (Italy), under the supervision of Professor Armando Tacchella.

Research Interests

My research interests lie in the broad field of Model Based Reasoning. In particular, my objective is to explore the application of Formal Methods to robotics. Our aim is to provide guarantees for the success of a high-level task performed by a robot operating in an uncertain world. This research involves formal modeling of robot behaviors and verification thereof via, e.g., Model Checking or SMT solving.

Short Bio

Before starting my Ph.D. , I was with the Robotics Division of Airbus Group Innovations (Nantes, France). My work there was mainly centered on autonomous navigation, with a special focus on co-work scenarios where the robot shares its workspace with human operators.

I hold a Master in Advanced Robotics from Ecole Centrale de Nantes and a Laurea Magistrale (MSc  eqvl) in Robotics Engineering from the University of Genoa.

Previously, I received a Laurea Triennale (BSc eqvl) in Electronics Engineering from the University of Genoa.