Dr Luca Arnaboldi

Dr Luca Arnaboldi

School of Computer Science
Assistant Professor

Contact details

School of Computer Science
University of Birmingham
B15 2TT

Dr Luca Arnaboldi is an Assistant Professor of Cyber Security in School of Computer Science. His research currently focuses on security of autonomous systems, explainable AI and formal verification of machine learning algorithms. He is a passionate award-winning educator with focus on hybrid and blended teaching methods in Cyber Security Higher Education.

His main research interests lie at the intersection of formal verification, security and AI. And he is particularly interested in the area of automated verification of security protocols, to which end he has co-developed a tool for the automated translation from a graphical design interface to a formal specification of the protocols as well as working correct by design implementations, MetaCP. (metacp.eu)

Dr Luca Arnaboldi's Personal website
Dr Luca Arnaboldi's Google Scholar Profile


  • 2021 - PhD Computer Science, Newcastle University
  • 2016 - BSc Computer Security, Newcastle University


Forensics, Malware and Penetration Testing (MSc)