Supervision

Master’s Degree theses (supervisor)

• 2025 - 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 - 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.
  

Master’s Degree theses (co-advisor)

• 2026 - 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.
  

• 2023 - 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.
  

Postdoctoral researchers

• Nov 2024 - Apr 2026 - Alberto Valese. Formal methods for logical constraint integration in neural networks. Department of Mathematics, University of Padova, Italy.