Matteo Zavatteri

Matteo Zavatteri

Researcher

Teaching

Ph.D. courses

A.Y. 2025/2026
12 hours
Supervisory control of discrete event systems
Ph.D. program in Mathematics, University of Modena and Reggio Emilia, jointly with the University of Parma and the University of Ferrara Held on 26-28 Nov 2025 at the Department of Mathematics and Computer Science, University of Ferrara, Italy

Institutional teaching as course coordinator

A.Y. 2024/2025
32 hours
Informatics and Bioinformatics
Informatics module
Bachelor's degree in Molecular Biology, Department of Biology, University of Padova, Italy Bioinformatics module (24 hours): Prof. Chiara Romualdi
A.Y. 2023/2024
32 hours
Informatics and Bioinformatics
Informatics module
Bachelor's degree in Molecular Biology, Department of Biology, University of Padova, Italy Bioinformatics module (24 hours): Dr. Laura Treu

Institutional teaching as lecturer

A.Y. 2025/2026
32 hours
Statistica e Biologia Quantitativa 1
Informatics module
Bachelor's degree in Molecular Biology, Department of Biology, University of Padova, Italy
A.Y. 2025/2026
8 hours
Formal methods for cyber-physical systems
Supervisory control module
Master's degree in International Cybersecurity and Cyberintelligence, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Davide Bresolin
A.Y. 2024/2025
8 hours
Formal methods for cyber-physical systems
Supervisory control module
Master's degree in International Cybersecurity and Cyberintelligence, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Davide Bresolin
A.Y. 2024/2025
24 hours
Database Systems Laboratory
Second channel
Bachelor's degree in Computer Science, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Massimiliano de Leoni
A.Y. 2023/2024
8 hours
Formal methods for cyber-physical systems
Supervisory control module
Master's degree in Cybersecurity, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Davide Bresolin
A.Y. 2023/2024
24 hours
Database Systems Laboratory
Second channel
Bachelor's degree in Computer Science, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Massimiliano de Leoni
A.Y. 2022/2023
24 hours
Database Systems Laboratory
Second channel
Bachelor's degree in Computer Science, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Pietro Sala

Contract professor

A.Y. 2023/2024
24 hours
Systems Design Laboratory
Discrete event systems module
Master's degree in Computer Engineering for Robotics and Smart Industry, Department of Engineering for Innovation Medicine, University of Verona, Italy Coordinator: Prof. Tiziano Villa
A.Y. 2022/2023
24 hours
Systems Design Laboratory
Discrete event systems module
Master's degree in Computer Engineering for Robotics and Smart Industry, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Tiziano Villa
A.Y. 2021/2022
18 hours
Systems Design Laboratory
Discrete event systems module
Master's degree in Computer Engineering for Robotics and Smart Industry, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Tiziano Villa

Teaching assistant

A.Y. 2022/2023
20 hours
Informatics and Bioinformatics
Bachelor's degree in Biology, Department of Biology, University of Padova, Italy Coordinator: Prof. Davide Bresolin
A.Y. 2014/2015
36 hours
Database Systems Laboratory
Bachelor's degree in Bioinformatics, Department of Computer Science, University of Verona, Italy Coordinator: Dr. Pietro Sala
A.Y. 2013/2014
36 hours
Database Systems Laboratory
Bachelor's degree in Bioinformatics, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Carlo Combi

Voluntary teaching assistance

A.Y. 2021/2022
48 hours
Mathematics for Decisions
Master's degree in Applied Mathematics and Master's degree in Computer Science, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Romeo Rizzi I gave 8 hours of lectures on Constraint Programming
A.Y. 2020/2021
48 hours
Mathematics for Decisions
Master's degree in Applied Mathematics and Master's degree in Computer Science, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Romeo Rizzi I gave 4 hours of lectures on Constraint Programming
A.Y. 2019/2020
48 hours
Mathematics for Decisions
Master's degree in Applied Mathematics, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Romeo Rizzi I gave 4 hours of lectures on Constraint Programming

Design of new course modules

2023 - 2024
Supervisory control module for "Formal Methods for Cyber-Physical Systems"
Master's degree in Cybersecurity, Department of Mathematics, University of Padova, Italy Coordinator: Prof. Davide Bresolin
2019 - 2021
Discrete event systems module for "Systems Design Laboratory"
Master's degree in Computer Engineering for Robotics and Smart Industry, Department of Computer Science, University of Verona, Italy Coordinator: Prof. Tiziano Villa