CV

General Information

Full Name Luca Marzari
Languages Italian, English

Education

  • 10/2022
    PhD in Computer Science
    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.
  • 10/2020 - 07/2022
    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.
  • 10/2017 - 10/2020
    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.

Experience

  • 07/2023 - 01/2024
    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.
  • 04/2022 - 10/2022
    Research Fellowship
    Institution: University of Verona, Verona, Italy
    Development of Safe Deep Reinforcement Learning approaches for robotics
  • 2021 -
    Teaching Assistant
    Institution: University of Verona, Verona, Italy
    Teaching and laboratory assistant for various master's degree courses, such as "Planning and Automated Reasoning," "Artificial Intelligence," "Reinforcement Learning," "Computer Programming," and "Database."
  • 2016 - 2019
    IT tech
    Institution: Vivatickets
    IT tech for trade fair in Vicenza and Verona

Honors and Awards

  • 2023/2024
    Travel grant
    Institution: University of Verona
    Mobility grants reserved to PhD students for non-EU destinations
  • 10/2018 - 10/2020
    University Scholarship for merits
    Institution: University of Verona

Academic Service

  • Reviewer for several international conferences and journal letters such as WFVML ICML, ICLR, IJCAI, ECAI, ICRA, AAMAS, RA-L.
  • Program Committee member for AAAI 2026, AE TACAS 2026.
  • Participation and presentation at several top-level international conferences such as AAAI, CAV, ICML, ICRA, AAMAS.
  • Organizer and presenter of the outreach activity **Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations** at the 27th European Conference on Artificial Intelligence (ECAI 2024).