Grant FyPPBAWDMw
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework. Lead(s): Radu Calinescu, Simos Gerasimou, Sinem Getir Yaman, Gricel Vazquez. Institutions: University of York. Status: active.
Source evidence
1 src · 3 checks- Grantee
- University of York
- Focus Area
- TA1.1
- Name
- ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework
- Description
- University of York
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme, which is a specific programme within ARIA. The claim is about ARIA itself as the grantor entity. Per QUA-648, programmes/initiatives within an organization count as MISMATCHES from the parent organization. The source discusses a particular ARIA programme, not ARIA as the grant-making entity.
NoteWhile the source confirms the existence of the Safeguarded AI programme and TA1, it does not contain any information about the specific grant record being verified. The grant name 'ULTIMATE', the grantee 'University of York', the funder identifier 'XqjV4mbMXQ', or the date '2024-01' are not mentioned in the provided source text. The source discusses the programme structure and technical areas but does not list individual funded projects or their recipients.