Skip to content
Longterm Wiki has not been actively maintained since May 2026. Some data is still updated occasionally, but please don't rely on this site being current or accurate.
Longterm Wiki

ARIA TA1.1: True Categorical Programming for Composable Systems

grantFailed source check

Metadata

Source Tablegrants
Source IDhVGwZX8_Ke
Descriptionto GLAIVE, 2024-06
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency (ARIA)
Children—
CreatedMar 22, 2026, 5:09 PM
UpdatedMar 22, 2026, 6:25 PM
SyncedMar 22, 2026, 6:25 PM

Record Data

idhVGwZX8_Ke
organizationIdAdvanced Research and Invention Agency (ARIA)(organization)
granteeIdGLAIVE
orgEntityIdAdvanced Research and Invention Agency (ARIA)(organization)
orgDisplayName—
granteeEntityId—
granteeDisplayName—
nameARIA TA1.1: True Categorical Programming for Composable Systems
amount—
currencyGBP
period—
date2024-06
status—
sourcewww.aria.org.uk/programme-safeguarded-ai/
notes[Safeguarded AI TA1.1] True Categorical Programming for Composable Systems. Lead(s): Jade Master, Zans Mihejevs, Andre Videla, Dylan Braithwaite. Institutions: GLAIVE. Status: closed.
programIdVpM42-Oye3
dataSourceId—

Source Check Verdicts

unverifiable85% confidence

Last checked: 9/21/2026

1 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial

Debug info

Thing ID: hVGwZX8_Ke

Source Table: grants

Source ID: hVGwZX8_Ke

Parent Thing ID: sid_XqjV4mbMXQ