Grant

Grant: ARIA TA1.1: Philosophical Applied Category Theory (Advanced Research and Invention Agency (ARIA) -> David Corfield (Independent))

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":"David Corfield (Independent)","focusArea":"TA1.1","name":"Philosophical Applied Category Theory","description":"Independent Researcher","status":"active"}

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

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) but does not mention any specific grant titled 'ARIA TA1.1: Philosophical Applied Category Theory' or name David Corf…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not provide information about specific TA1 projects, their names, dates, or individual grantees. The source is a high-level programme overview that does not list individual grants or recipients. The record cannot be verified or contradicted based on the provided source text.

Debug info

Record type: grant

Record ID: kXYqpl-mmv