2014 - 2018
Ph.D. in Computer Science (29th cycle, Doctor Europaeus)
Education
Degrees
2013
Master's degree in Engineering and Computer Science
Thesis: Network topologies for the defense of security protocols
2010
Bachelor's degree in Computer Science
Thesis: IP security
2006
High school diploma in Computer Science
International schools
FMCPS
Summer School on Formal Methods for Cyber-Physical Systems
2019 · Verona 2023 · Udine
AIRO
Ph.D. School of the Italian Association of Operations Research
2021 · online
ICAPS
Summer School on Automated Planning and Scheduling
2020 · online
SECENTIS
Winter School on Security and Trust of Next Generation Enterprise Information Systems
2016 · FBK, Trento
FOSAD
Summer School on Foundations of Security Analysis and Design
2015 · Bertinoro
MOD
Marktoberdorf Summer School on Dependable Software Systems Engineering
2014 · Marktoberdorf, Germany
IPICS
Intensive Programme on Information and Communication Security
2014 · Mytilene, Lesvos, Greece
Continuing education
2025
Teaching4Learning@Unipd - Advanced (T4L2)
October 2024 - January 2025, University of Padova, Italy
Second level of the Teaching4Learning@Unipd programme: advanced teaching skills, peer observation, and coaching in support of the Faculty Learning Communities. Badge awarded after five workshops, a micro-teaching session, and a final assessment.
2023
Teaching4Learning@Unipd - Faculty+Base
Summer 2023, University of Padova, Italy
Programme for early-career teachers: teaching skills, e-learning tools (Moodle), and collaboration within the Faculty Learning Communities. Badge awarded after the workshops, a micro-teaching session, and a final assessment.