Index
Grant: ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework (Advanced Research and Invention Agency (ARIA) → University of York)
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: 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 · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- 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)
unverifiable95%Haiku 4.5 · 3/25/2026
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.
Case № FyPPBAWDMwFiled 4/13/2026Confidence 95%