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