Grant

Grant: ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Research and Invention Agency (ARIA) -> University of Manchester)

Profile page →

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

confirmed95%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"University of Manchester","focusArea":"TA1.1","name":"Profunctors: A unified semantics for safeguarded AI","description":"University of Manchester","status":"active"}

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme backed by £59m, mentions Technical Area 1 (TA1) expansion, and references TA1 as part of the programme structure. However, it does not specifical…

Note: While the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain specific information about this particular grant record. The source text appears to be a programme overview page rather than a detailed grants list. The specific grant name, grantee institution, funder identifier, and date cannot be verified from the provided excerpt.

Debug info

Record type: grant

Record ID: utk0FBmOuF