Metadata
| Source Table | divisions |
| Source ID | Cf0dXNt8tu |
| Description | program-area |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 22, 2026, 4:04 PM |
| Updated | Apr 24, 2026, 4:36 PM |
| Synced | Apr 24, 2026, 4:36 PM |
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: 4/29/2026
1 → unverifiable
Debug info
Thing ID: Cf0dXNt8tu
Source Table: divisions
Source ID: Cf0dXNt8tu
Parent Thing ID: sid_XqjV4mbMXQ