Luca Marzari

io,  October 4, 2022
PhD student
PhD in Computer Science - 38° ciclo (October 1, 2022 - September 30, 2025)
Academic sector
- - -
luca|marzari*univr|it <== Replace | with . and * with @ to have the right email address.

Luca Marzari is a Ph.D. student in Computer Science at the University of Verona, advised by Prof. Alessandro Farinelli and Prof. Ferdinando Cicalese. His research focuses on developing efficient and reliable methods for verifying the correctness of Deep Neural Networks, particularly in the context of Deep Reinforcement Learning (DRL) applications. He is also exploring the use of approximate verification techniques inside the DRL training process in order to foster the learning of safer behaviors.


Modules running in the period selected: 0.
Click on the module to see the timetable and course details.

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.


Research groups

ISLa - Intelligent Systems Lab
Artificial intelligence, statistical learning and data analysis for intelligent systems

Other positions held


Department facilities