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 and mentions TA1 (Technical Area 1) as part of the programme structure, but does not specifically mention a grant called 'ARIA TA1.1: Profunctors…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and that the programme is expanding TA1's scope, it does not provide information about specific TA1.1 projects, their names, dates, or grantee institutions. The source text appears to be a programme overview rather than a detailed project listing. The specific grant name, date (2024-06), grantee institution, and funder identifier cannot be verified from this excerpt.

Debug info

Record type: grant

Record ID: Y5KYXGTD0R