Appointments

• Since Mar 2026. Researcher
  Fondazione Bruno Kessler, Trento, Italy.
  

• Mar 2023 - Feb 2026. Assistant Professor of Computer Science
  (Ricercatore a tempo determinato tipo A in Informatica)
  Department of Mathematics, University of Padova, Italy
  

• Apr 2022 - Feb 2023. Postdoctoral researcher holding an italian Assegno di Ricerca
  Sintesi di controllori per systemi ciberfisici
  (Controller synthesis for cyber-physical systems)
  Department of Mathematics, University of Padova, Italy
  Supervisor: Prof. Davide Bresolin
  

• Apr 2021 - Mar 2022. Postdoctoral researcher holding an italian Assegno di Ricerca
  Sintesi automatica di controllori massimali per sistemi specificati da automi ibridi
  (Automated synthesis of maximal controllers for systems specified by hybrid automata)
  Department of Computer Science, University of Verona, Italy
  Supervisor: Prof. Tiziano Villa
  

• Apr 2019 - Mar 2021. Postdoctoral researcher holding an italian Assegno di Ricerca
  Definizione e sviluppo di algoritmi e modelli per la progettazione industriale
  (Definition and development of algorithms and methods for industrial design)
  Department of Computer Science, University of Verona, Italy
  Supervisor: Prof. Tiziano Villa
  

• Jan 2019 - Mar 2019. Research assistant
  Department of Computer Science, University of Verona, Italy

• Jan 2017 - Dec 2018. Last year of my Ph.D and early months of postdoc holding an italian Assegno di Ricerca
  Secure temporal planning: workflow satisfiability and resiliency under temporal uncertainty and conditional paths.
  Department of Computer Science, University of Verona, Italy
  Supervisor: Prof. Luca Viganò
  

• Jan 2014 - May 2018. Ph.D. student holding full italian scholarship
  Thesis: Temporal and Resource Controllability of Workflows Under Uncertainty
  Department of Computer Science, University of Verona, Italy
  Supervisor: Prof. Luca Viganò
  In my Ph.D. thesis I addressed the design, validation, and synthesis of execution strategies for workflow/business processes under uncertainty. I gave particular emphasis to the temporal and resource aspects, considered both in isolation or simultaneously. I defined new temporal network models that address several kinds of uncertainty (temporal, conditional, etc) and I also developed several algorithms for synthesizing execution strategies with respect to the classic problems of weak, strong, and dynamic controllability. I applied such models in the context of workflow/business processes by providing a few encodings from a few fragments of the Business Process Modeling Notation (BPMN) into temporal networks.
  Link to thesis