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

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)

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.