“We build the hard parts of regulated capital markets, AI safety, and the infrastructure they depend on.”In its own words: obsidian.systems
Software firm applying formal methods to high-assurance systems, including a multi-year UK government AI-safety engagement with ARIA's Safeguarded AI programme.
Show detailsHide details
Received $5.1M from 1 funder
Led by Ali Abrar (Co-founder), Ryan Trinkle (Co-founder)Checked 25 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 $5.1M, newest first.
2025 1 grant · $5.1M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 14 Jul 2025 | Advanced Research + Invention Agency | $5.1M | Safeguarded AI TA1.2 technical coordinator (contract, 27 months); £3,998,455 incl. VAT; technical area inferred source |