CV

PhD in Computer Science (cum laude)

Institution: University of Verona, Verona, Italy

Title: "Advanced Neural Networks Verification for Safe and Explainable Intelligent Systems"

My thesis proposes novel efficient and reliable methods for verifying and enhancing the correctness of deep neural networks, particularly in the context of Deep Reinforcement Learning (DRL) applications. This work include the list of papers reported in the publications section in the period 2022-2025.

M.Sc. in Computer Science and Engineering (110/110 with honors)

Institution: University of Verona, Verona, Italy

Title: "Deep Reinforcement Learning for Robotic Tasks Enhancing Efficiency and Safety"

The work aimed to investigate the improvement in performance of an Deep Reinforcement Learning informed training methodology combining Curriculum Learning, Transfer of Learning and fine-tuning techniques compared to a classic End-to-End uninformed methodology in a mapless navigation context, with a particular focus on the safety aspect. The thesis work has been published at SAC IRMAS, 2022.

Research visiting

Institution: Imperial College London, London, UK

Reseach visit at the Center for Explainable AI.

Research visiting

Institution: Carnegie Mellon University (CMU) Robotics Institute, Pittsburgh, USA.

Reseach visit at the Intelligent Control Lab under the supervision of Professor Changliu Liu, PhD.

Research Fellowship

Institution: University of Verona, Verona, Italy

Development of Safe Deep Reinforcement Learning approaches for robotics applications.

Austrian Science Fund (FWF) ESPRIT fellowship

Institution: TU Wien, Vienna, Austria

Postdoctoral fellowship for the project PROVE-IT

Travel grants

Institution: University of Verona

Mobility grants reserved to PhD students for non-EU destinations

University Scholarship for merits

Institution: University of Verona