Luca Arnaboldi
Researcher in Verifiably Secure ML Systems
University of Birmingham, School of Computer Science
I am a researcher and educator specializing in the security of autonomous systems and the formal verification of machine learning algorithms, with a strong focus on delivering real-world impact through innovation and industry engagement. My work has contributed to internationally adopted tools and has been reported on by multiple global media outlets. I have secured over £1.3 million in competitive grants to bridge academic research and practical applications.
If you are interested in any of these topics feel free to contact me at l.arnaboldi@bham.ac.uk
// current work
Current Work
Zeroth Research
Safeguarded AI startup: building a verification stack for AI systems capable of producing and checking formal proof certificates.
Visit
MetaCP
Cryptographic Protocol Design Tool for Formal Verification. Co-developed with R. Metere.
Visit
Terminus Trace
Blockchain forensics platform for investigating hidden crypto assets — every transaction leaves a trace.
Visit// previous work
Previous Work
NPACT
A metaverse-based social enterprise dedicated to providing education and charitable growth in the Web 3.0 environment.
Visit
AISEC
AI Secure and Explainable by Construction. Research project at the Lab for AI Verification.
Visit
HackRoom
Unlock Your Cyber Skills to Escape: immersive cybersecurity escape rooms teaching practical skills through fun, hands-on challenges.
Visit