Thesis entered into the distinguished dissertations scheme; Involved in multiple research projects and has close collaborations with Paolo Balboni and Luca Bolognini.
Research Experience
Postdoc: Visiting scholar at Technische Universität München, Tobias Nipkow's group; Three-year postdoc at the University of Cambridge; Visiting Research Fellow at SAP Research France; Five-year visiting researcher at De Montfort University Leicester; Two-year visiting professor at Royal Holloway University of London. Chief Cyber Security Advisor for ICT Cyber Consulting since 2019.
Education
Ph.D.: University of Cambridge, Computer Laboratory, supervised by Professor Larry Paulson; Bachelor's: University of Catania, Department of Mathematics and Informatics, Computer Science.
Background
Interests: Cyber Security, Data Protection, IoT, Formal Methods, Human Element, Compliance. Background: Holds a Ph.D. from the Computer Laboratory of the University of Cambridge (2000) and a degree in Computer Science from the Department of Mathematics and Informatics of the University of Catania (1995). Has been teaching and researching at the University of Catania since 2002.
Miscellany
Worked as a Computer Officer at Newnham College and founded the Cambridge University Italian Society, serving as President for two years.