Grant

Grant: ARIA TA1.1: Modal Types for Quantitative Analysis (Advanced Research and Invention Agency (ARIA) -> University of Kent)

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 Kent","focusArea":"TA1.1","name":"Modal Types for Quantitative Analysis","description":"University of Kent","status":"active"}

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable95%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned multiple times, but does not specifically name or reference any project called 'ARIA TA1.1: Modal Types for…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses its objectives, it does not provide the specific project name, grantee institution, funder identifier, or date for this particular grant record. The source text is a programme overview that does not contain a detailed list of funded projects. Therefore, the specific claims in the record cannot be verified or contradicted by this source material.

Debug info

Record type: grant

Record ID: Z7_lsiZgH0