Education

Main

• 2018 - Ph.D. in Computer Science (29° Italian cycle, Doctor Europaeus)
  Department of Computer Science, University of Verona, Italy
  Thesis: Temporal and Resource Controllability of Workflows Under Uncertainty
  Advisor: Prof. Luca Viganò. Co-advisor: Prof. Carlo Combi

• 2013 - State professional qualifying examination in engineering
  (Esame di Stato per l’abilitazione alla professione di Ingegnere)
  Department of Engineering, University of Brescia, Italy

• 2013 - Master’s degree in Engineering and Computer Science
  Curriculum: software engineering and security
  Department of Computer Science, University of Verona, Italy
  Thesis: Network topologies for the defense of security protocols.
  Advisor: Prof. Luca Viganò

• 2010 - Bachelor’s degree in Computer Science
  Faculty of Mathematical, Physical, and Natural Sciences, University of Verona, Italy
  Thesis: IP security
  Advisor: Prof. Luca Viganò
• 2006 - High school diploma in Computer Science
  I.T.I.S. G. Marconi, Verona

Training programs

• 2023 - Teaching4Learning@Unipd - Faculty+Base Summer 2023 - University of Padova, Italy The aim of the Teaching4Learning@Unipd project is to improve and modernise teaching at Padua University. Through project courses, teachers will become part of departmental and inter-departmental communities where they can initiate and share good teaching practices and promote innovative, technological methods. These communities will be called the Faculty Learning Community (FLC).

International schools

• 2023 - Summer School on Formal Methods for Cyber-Physical Systems
  Udine, Italy

• 2021 - AIRO PhD School 2021 (Italian Association of Operations Research)
  Online due to COVID-19
  
  2020 - ICAPS Online Summer School on Automated Planning & Scheduling
  Online due to COVID-19

• 2019 - Summer School on Formal Methods for Cyber-Physical Systems
  Department of Computer Science, University of Verona, Italy

• 2016 - Winter School SECENTIS 2016
  (Security and Trust of Next Generation Enterprise Information Systems)
  Fondazione Bruno Kessler, Trento, Italy

• 2015 - Summer School FOSAD 2015
  (Foundations of Security Analysis and Design)
  University of Bertinoro, Italy

• 2014 - Summer School MOD 2014
  (Dependable Software Systems Engineering)
  Technische Universität München, Marktoberdorf, Germany

• 2014 - Summer School IPICS 2014
  (Intensive Programme on Information and Communication Security)
  University of the Aegean. Mytilene, Lesvos island, Greece