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 | |
| ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification | Topos Institute | 2024-09 | |
| ARIA TA1.2: From string diagrams to GPU optimisation | Adjoint Labs Limited | 2024-09 | |
| ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification | Zeroth Research / Fondazione Bruno Kessler | 2024-09 | |
| ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator) | HASH | 2024-09 | |
| ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories | UCL / Hellas AI | 2024-09 | |
| ARIA TA1.3: GAIOS | University of Cambridge | 2024-09 | |
| ARIA TA1.2: TA1.2 Technical Coordinator | Obsidian Systems | 2024-09 | |
| ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment | University of Michigan | 2024-01 | |
| ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification | Topos Institute | 2024-01 | |
| ARIA TA1.2: From string diagrams to GPU optimisation | Adjoint Labs Limited | 2024-01 | |
| ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator) | HASH | 2024-01 | |
| ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories | UCL / Hellas AI | 2024-01 | |
| ARIA TA1.3: GAIOS | Ink & Switch / Cambridge University | 2024-01 | |
| ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification | Zeroth Research / Fondazione Bruno Kessler | 2024-01 | |
| ARIA TA1.2: TA1.2 Technical Coordinator | Obsidian Systems | 2024-01 |