Index
Grant: ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI (Advanced Research and Invention Agency (ARIA) → University of Manchester)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Profunctors: A unified semantics for safeguarded AI. Lead(s): Nicola Gambino. Institutions: University of Manchester. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- University of Manchester
- Focus Area
- TA1.1
- Name
- Profunctors: A unified semantics for safeguarded AI
- Description
- University of Manchester
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile 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.
Case № Y5KYXGTD0RFiled 4/13/2026Confidence 95%