division
TA1.2 + TA1.3 — Platform (Backend + HCI)
Metadata
| Source Table | divisions |
| Source ID | Cf0dXNt8tu |
| Description | program-area |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 25, 2026, 4:24 AM |
| Updated | Mar 25, 2026, 4:24 AM |
| Synced | Mar 25, 2026, 4:24 AM |
Record Data
id | Cf0dXNt8tu |
slug | — |
parentOrgId | Advanced Research and Invention Agency (ARIA)(organization) |
name | TA1.2 + TA1.3 — Platform (Backend + HCI) |
divisionType | program-area |
lead | — |
status | active |
startDate | 2024 |
endDate | — |
website | — |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | GBP 14.2M across 8 projects. TA1.2 (backend): proof checking, automated reasoning, GPU optimization. TA1.3 (human-computer interface): collaborative modeling, type-theoretic environments. |
Source Check Verdicts
unverifiable85% confidence
Last checked: 3/26/2026
The source confirms that TA1 exists and is being expanded, and that it involves platform/scaffolding work. However, the source does not provide the specific subdivision structure (TA1.2 + TA1.3) or the specific naming convention ('Platform (Backend + HCI)') claimed in the record. The record's granular division structure cannot be verified from this source text, making it unverifiable rather than confirmed or contradicted.
Debug info
Thing ID: Cf0dXNt8tu
Source Table: divisions
Source ID: Cf0dXNt8tu