Matteo Zavatteri

Matteo Zavatteri

Researcher

Supervision

Postdoctoral researchers

Nov 2024 - Apr 2026
Scientific supervisor
Alberto Valese
Formal methods for logical constraint integration in neural networks
Research grant (Assegno di Ricerca), Department of Mathematics, University of Padova, Italy

Master’s degree theses

2026
Co-advisor
Luca Veronese
Barrier Certificate Synthesis for Airborne Collision Avoidance
Master's degree in Computer Science, Department of Mathematics, University of Padova, Italy Advisor: Prof. Davide Bresolin
2025
Supervisor
Enrico Muraro
Deep Learning Meets Formal Methods: A Certified Neural Network Synthesis Approach for Airborne Collision Avoidance
Master's degree in Computer Science, Department of Mathematics, University of Padova, Italy Co-advisor: Prof. Davide Bresolin
2024
Supervisor
Melissa Tanios
Modular supervisory control of business processes with resource constraints
Master's degree in Computer Science, Department of Mathematics, University of Padova, Italy Co-advisor: Prof. Davide Bresolin
2023
Co-advisor
Aurelo Makaj
Data-aware Soundness Verification and Repair of Data Petri-Nets
Master's degree in Computer Science, Department of Mathematics, University of Padova, Italy Advisor: Prof. Davide Bresolin

Internships

Jan - Mar 2025
Host tutor
Marco Da Pozzo
Extensions to the ESCET toolkit for controller synthesis
Bachelor's degree in Computer Science, University of Verona, Italy. Hosted at the Department of Mathematics, University of Padova, Italy Academic tutor: Prof. Davide Quaglia