Supervision

Co-advisor (master’s degree theses)

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