The people and mission behind Provably.
From verifiable databases to verifiable agents.
We build verifiable data and runtime verification infrastructure so agents and humans can collaborate with accuracy, safety and integrity.
Our research in verifiable databases creates cryptographic anchors of integrity across the agent lifecycle, from tool use and handoffs to cross agent protocols, learning and governance.
For a new era where trust and integrity are verified at machine speed, not left to contracts and paper trails.

Inventor and adjunct professor. Previously at Intel and IBM Research.

Professor of computer science, University of Insubria.

PhD in secure, privacy-preserving techniques for federated machine learning.





