TA1.2 + TA1.3 — Platform (Backend + HCI)
Program AreaActiveGBP 14.2M across 8 projects. TA1.2 (backend): proof checking, automated reasoning, GPU optimization. TA1.3 (human-computer interface): collaborative modeling, type-theoretic environments.
| Grant | Recipient | Amount | Date | |
|---|---|---|---|---|
| ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment | University of Michigan | 2024-09 | Failed source check | |
| ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification | Topos Institute | 2024-09 | Failed source check | |
| ARIA TA1.2: From string diagrams to GPU optimisation | Adjoint Labs Limited | 2024-09 | Failed source check | |
| ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification | Zeroth Research | 2024-09 | Failed source check | |
| ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator) | HASH | 2024-09 | Failed source check | |
| ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories | University College London | 2024-09 | Failed source check | |
| ARIA TA1.2: TA1.2 Technical Coordinator | Obsidian Systems | 2024-09 | Failed source check | |
| ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment | University of Michigan | 2024-01 | Failed source check | |
| ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification | Topos Institute | 2024-01 | Failed source check | |
| ARIA TA1.2: From string diagrams to GPU optimisation | Adjoint Labs Limited | 2024-01 | Failed source check | |
| ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator) | HASH | 2024-01 | Failed source check | |
| ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories | University College London | 2024-01 | Failed source check | |
| ARIA TA1.3: GAIOS | University of Cambridge | 2024-01 | Failed source check | |
| ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification | Zeroth Research | 2024-01 | Failed source check | |
| ARIA TA1.2: TA1.2 Technical Coordinator | Obsidian Systems | 2024-01 | Failed source check |