Luca Arnaboldi - Researcher

About me

This is me

Luca is a researcher currently focusing on security of autonomous systems, explainable AI and formal verification of machine learning algorithm. He was awarded his PhD at Newcastle University which was on the topic of improving explainability and adaptability of intrusion detection by using formal models, with specific focus on constrained IoT deployments. His main research interests lie at the intersection of formal verification, security and AI; however, he is always willing to dabble in new areas such as financial machine learning and protocol verification

He is currently working on the topic of security for autonomous sytems at the University of Edinburgh. To find more about this project please visit the project page for

If you are interested in any of these topics feel free to contact me at:

Current Work


AISEC: AI Secure and Explainable by Construction. Current Position


MetaCP: Cryptographic Protocol Design Tool for Formal Verification. With R. Metere