Education

PhD in Computer Science

Institution: University of Verona, Verona, Italy

Title: "Formal and Approximate Verification of Deep Neural Networks for safety-critical tasks"

My thesis focus on developing efficient and reliable methods for verifying the correctness of DNNs, particularly in the context of Deep Reinforcement Learning (DRL) applications. I am also exploring the use of approximation techniques inside the DRL training process, in order to foster the learning of safer behaviors.

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.

B.Sc. in Computer Science

Institution: University of Verona, Verona, Italy

Title: "Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks"

The thesis focused on the design and development of various DRL techniques applied to robotic manipulation in order to perform complex tasks that can be divided into sequences of elementary actions. The thesis work has been published at IEEE ICAR, 2021.

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

Teaching Assistant

Institution: University of Verona, Verona, Italy

Teaching and laboratory assistant for various master's degree courses, such as "Planning," "Computer Programming," and "Database."

IT tech

Institution: Vivatickets

IT tech for trade fair in Vicenza and Verona

Travel grant

Institution: University of Verona

Mobility grants reserved to PhD students for non-EU destinations

University Scholarship for merits

Institution: University of Verona