University where ARIA's Safeguarded AI programme funds a project led by Individual #2755 on supermartingale certificates for temporal logic.
Show detailsHide details
Received $2.8M from 1 funder
’24
’25
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
4 grants totalling $2.8M, newest first.
2025 3 grants · $2M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 7 Oct 2025 | Advanced Research + Invention Agency | $470k | Mathematics for Safe AI (amendment: new scope, value and 12-month extension; new total £966,268); £369,919 incl. VAT where applicable (FY25-26 transparency recap) source |
| 28 Mar 2025 | Advanced Research + Invention Agency | $741k | Safeguarded AI TA1.4 (grant, 17 months); £583,279 incl. VAT; technical area inferred source |
| 2 Feb 2025 | Advanced Research + Invention Agency | $792k | Safeguarded AI TA3 (grant, 15 months); £623,522 incl. VAT; technical area inferred source |
2024 1 grant · $757k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 2 Sep 2024 | Advanced Research + Invention Agency | $757k | Safeguarded AI TA1.1 (grant, 12 months); £596,349 ex VAT (end of Q2 FY24-25 transparency data, awards since 1 Jul 2024); technical area inferred source |