grant
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification
Metadata
| Source Table | grants |
| Source ID | 5C24pOMQD5 |
| Description | to Topos Institute, 2024-01 |
| Source URL | www.aria.org.uk/programme-safeguarded-ai/ |
| Parent | Advanced Research and Invention Agency |
| Children | — |
| Created | Mar 22, 2026, 4:04 PM |
| Updated | Mar 22, 2026, 4:04 PM |
| Synced | Mar 22, 2026, 4:04 PM |
Record Data
id | 5C24pOMQD5 |
organizationId | Advanced Research and Invention Agency (ARIA)(organization) |
granteeId | Topos Institute(organization) |
orgEntityId | Advanced Research and Invention Agency (ARIA)(organization) |
orgDisplayName | — |
granteeEntityId | Topos Institute(organization) |
granteeDisplayName | — |
name | ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification |
amount | — |
currency | GBP |
period | — |
date | 2024-01 |
status | — |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | [Safeguarded AI TA1.2] CatColab: Collaborative modeling, specification, and verification. Lead(s): Evan Patterson, Tim Hosgood, Kevin Carlson, Brendan Fong. Institutions: Topos Institute. Status: active. |
programId | -C8O_gr9Bj |
dataSourceId | — |
Source Check Verdicts
confirmed95% confidence
Last checked: 4/3/2026
[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)
Debug info
Thing ID: 5C24pOMQD5
Source Table: grants
Source ID: 5C24pOMQD5