“We provide the infrastructure for monitoring and controlling AI systems after deployment, to assure their ongoing compliance with safety specifications and validate modelling assumptions.”In its own words: zeroth.org
Zeroth Research develops formal verification technology to give mathematical guarantees that AI systems behave safely and securely.
Show detailsHide details
Received $1.3M from 1 funder
Led by Marek Chalupa (CTO), Greg Neustroev (CSO)Checked 26 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $1.3M, newest first.
2025 1 grant · $1.3M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 9 Jul 2025 | Advanced Research + Invention Agency | $1.3M | Safeguarded AI TA1.2 (grant, 15 months); £994,424 incl. VAT; technical area inferred source |