Safeguarded AI TA1.2 + TA1.3 — Platform

AwardedSolicitation

Budget

£14M

Funder Organization

Advanced Research and Invention Agency (ARIA)wiki

Division

TA1.2 + TA1.3 — Platform (Backend + HCI)

Source

aria.org.uk↗

Description

Backend infrastructure (TA1.2) and human-computer interface (TA1.3) for the Safeguarded AI programme. Proof checking, automated reasoning, collaborative modeling, and UX.

Notes

GBP 14.2M across 8 projects.

Grants Awarded

Grant	Recipient	Date
ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment	University of Michigan	Sep 2024
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification	Topos Institute	Sep 2024
ARIA TA1.2: From string diagrams to GPU optimisation	Adjoint Labs Limited	Sep 2024
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification	Zeroth Research	Sep 2024
ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator)	HASH	Sep 2024
ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories	University College London	Sep 2024
ARIA TA1.2: TA1.2 Technical Coordinator	Obsidian Systems	Sep 2024
ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment	University of Michigan	Jan 2024
ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification	Topos Institute	Jan 2024
ARIA TA1.2: From string diagrams to GPU optimisation	Adjoint Labs Limited	Jan 2024
ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator)	HASH	Jan 2024
ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories	University College London	Jan 2024
ARIA TA1.3: GAIOS	University of Cambridge	Jan 2024
ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification	Zeroth Research	Jan 2024
ARIA TA1.2: TA1.2 Technical Coordinator	Obsidian Systems	Jan 2024