Luca Arnaboldi

Researcher in Verifiably Secure ML Systems

University of Birmingham, School of Computer Science

Assistant Professor Founder & Director Consultant Speaker

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

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

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