TA3 — Real-World Applications
The source text extensively discusses TA1 (toolkit for mathematical assurance) and TA2 (Phase 2 selection process that was cancelled), but makes no mention of TA3 or 'Real-World Applications' as a division name. While the source confirms that TA1 and TA2 exist as programme areas within ARIA, it does not provide information about TA3 specifically. The record cannot be verified or contradicted based on the provided source material, as the source simply does not address TA3.
Our claim
entire record- Name
- TA3 — Real-World Applications
- Division Type
- program-area
- Status
- active
- Start Date
- 2024
- Notes
- GBP 5.4M Phase 1 across 9 teams (continuing to completion). Applications in energy grid, automated driving, clinical trials, logistics, biopharmaceuticals, and telecom. Phase 2 (GBP 8.4M) cancelled Nov 2025; replaced by cybersecurity pivot to formally-verified firewalls for critical infrastructure.
Source evidence
1 src · 1 checkNoteThe source text extensively discusses TA1 (toolkit for mathematical assurance) and TA2 (Phase 2 selection process that was cancelled), but makes no mention of TA3 or 'Real-World Applications' as a division name. While the source confirms that TA1 and TA2 exist as programme areas within ARIA, it does not provide information about TA3 specifically. The record cannot be verified or contradicted based on the provided source material, as the source simply does not address TA3.