Skip to content
Longterm Wiki
grant

ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI

Metadata

Source Tablegrants
Source ID94rSFA6ROw
Descriptionto Topos Research UK / University of Florida, 2024-01
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency
Children
CreatedMar 22, 2026, 4:04 PM
UpdatedMar 25, 2026, 3:13 AM
SyncedMar 22, 2026, 4:04 PM

Record Data

id94rSFA6ROw
organizationIdAdvanced Research and Invention Agency (ARIA)(organization)
granteeIdTopos Institute(organization)
orgEntityIdAdvanced Research and Invention Agency (ARIA)(organization)
orgDisplayName
granteeEntityIdTopos Institute(organization)
granteeDisplayName
nameARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI
amount
currencyGBP
period
date2024-01
status
sourcewww.aria.org.uk/programme-safeguarded-ai/
notes[Safeguarded AI TA1.1] Double Categorical Systems Theory for Safeguarded AI. Lead(s): David Jaz Myers, Owen Lynch, Sophie Libkind, David Spivak, James Fairbanks. Institutions: Topos Research UK / University of Florida. Status: active.
programIdVpM42-Oye3
dataSourceId

Source Check Verdicts

partial50% confidence

Last checked: 4/13/2026

[deterministic-row-match] Partial deterministic match: name matched but grantee did not (48 rows)

Debug info

Thing ID: 94rSFA6ROw

Source Table: grants

Source ID: 94rSFA6ROw