TA1.2 + TA1.3 — Platform (Backend + HCI)
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.
Our claim
entire record- Name
- TA1.2 + TA1.3 — Platform (Backend + HCI)
- Division Type
- program-area
- Status
- active
- Start Date
- 2024
- 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 evidence
1 src · 1 checkNoteThe 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.