About me

Luca is a researcher currently focusing on security of autonomous systems, explainable AI and formal verification of machine learning algorithms. 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

I am always working on a ton of things at once, check out some of the links below for some of my current and previous work.

If you are interested in any of these topics feel free to contact me at: l.arnaboldi@bham.ac.uk

Current Work

ZEROTH Research

ZEROTH Research: Safeguarded AI Startup for the Public Good

goto

MetaCP

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

NPACT

NPACT: a metaverse based social enterprise dedicated to providing education and charitable growth in the fast growing Web 3.0 environment

Some Previous Work

AISEC

AISEC: AI Secure and Explainable by Construction. Previous Work