Supervision

Master’s Degree theses (supervisor)

• Nov 2023 - Dec 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)

• Feb 2023 - Dec 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 - ongoing - Alberto Valese. Formal methods for logical constraint integration in neural networks. Department of Mathematics, University of Padova, Italy.