Teaching

Ph.D. courses

• A.Y. 2025/2026 - Supervisory control of discrete event systems (12 hours)
  Ph.D. program in Mathematics. Università degli Studi di Modena e Reggio Emilia in agreement with the Universities of Modena-Reggio-Emilia and Parma.
  

Institutional

• A.Y. 2024/2025 - Formal methods for cyber-physical systems (8 hours) - 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 - Informatics and Bioinformatics (56 hours)
  Bachelor’s degree in Molecular Biology
  Department of Biology, University of Padova, Italy
  Coordinator: Dr. Matteo Zavatteri (informatics module, 32 hours)
  In collaboration with Prof. Chiara Romualdi (bioinformatics module, 24 hours)

• A.Y. 2024/2025 - Database Systems Laboratory (24 hours)
  Bachelor’s degree in Computer Science
  Department of Mathematics, University of Padova, Italy
  Coordinator: Prof. Massimiliano de Leoni.

• A.Y. 2023/2024 - Formal methods for cyber-physical systems (8 hours) - supervisory control module
  Master’s degree in CYBERSECURITY
  Department of Mathematics, University of Padova, Italy
  Coordinator: Prof. Davide Bresolin.

• A.Y. 2023/2024 - Informatics and Bioinformatics (56 hours)
  Bachelor’s degree in Molecular Biology
  Department of Biology, University of Padova, Italy
  Coordinator: Dr. Matteo Zavatteri (informatics module, 32 hours)
  In collaboration with Dr. Laura Treu (bioinformatics module, 24 hours)

• A.Y. 2023/2024 - Database Systems Laboratory (24 hours)
  Bachelor’s degree in Computer Science
  Department of Mathematics, University of Padova, Italy
  Coordinator: Prof. Massimiliano de Leoni.

• A.Y. 2022/2023 - Database Systems Laboratory (24 hours)
  Bachelor’s degree in Computer Science
  Department of Mathematics, University of Padova, Italy
  Coordinator: Prof. Pietro Sala.

Contract professor

• A.Y. 2023/2024 - Systems Design Laboratory (24 hours)
  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 - Systems Design Laboratory (24 hours)
  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 - Systems Design Laboratory (18 hours)
  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 - Informatics and Bioinformatics (20 hours)
  Bachelor’s degree in Biology
  Department of Biology, University of Padova, Italy
  Coordinator: Prof. Davide Bresolin

• A.Y. 2021/2022 - Mathematics for Decisions (48 hours)
  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

• A.Y. 2020/2021 - Mathematics for Decisions (48 hours)
  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

• A.Y. 2019/2020 - Mathematics for Decisions (48 hours)
  Master’s degree in Applied Mathematics
  Department of Computer Science, University of Verona, Italy
  Coordinator: Prof. Romeo Rizzi

• A.Y. 2014/2015 - Database Systems Laboratory (36 hours)
  Bachelor’s degree in Bioinformatics
  Department of Computer Science, University of Verona, Italy
  Coordinator: Prof. Pietro Sala

• A.Y. 2013/2014 - Database Systems Laboratory (36 hours)
  Bachelor’s degree in Bioinformatics
  Department of Computer Science, University of Verona, Italy
  Coordinator: Prof. Carlo Combi