Luca Arnaboldi - Researcher

About me

This is me

Luca has recently submitted his PhD thesis at Newcastle University. His research focused on 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


Timeline of education

Some Recent Awards

NCL+ Award


Awarded for portraying excellence in leadership and peer representation as a school representative.

Action for Impact
(1st Place)

Sustainable Smart City Competition: Designed and Presented a Novel Smart Integration Camp, To Help With Refugee Crisis
PGR Representitive

Best PGR School Rep 2019 (Shortlist)

Shortlisted for the award of best student representative for postgraduate students across the university