Grant 9KbAX-WRGN
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: Modal Types for Quantitative Analysis
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Modal Types for Quantitative Analysis. Lead(s): Vineet Rajani, Dominic Orchard. Institutions: University of Kent. Status: active.
Source evidence
1 src · 3 checks- Grantee
- University of Kent
- Focus Area
- TA1.1
- Name
- Modal Types for Quantitative Analysis
- Description
- University of Kent
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme within ARIA, not ARIA itself as the primary subject. The claim is about a specific grant (TA1.1: Modal Types for Quantitative Analysis) from ARIA to University of Kent, but the source discusses the broader Safeguarded AI programme structure and leadership. Per QUA-648, programmes and initiatives within an organization count as distinct entities from the organization itself.
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses TA1 projects in general terms, it does not provide a list of specific funded projects or their details. The record references a specific grant with a specific name, grantee institution, and date, but the source text does not contain this granular project-level information. The funder identifier 'XqjV4mbMXQ' is also not mentioned in the source. Without explicit confirmation of this specific project in the source material, the claim cannot be verified.