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 IDoujE6VM6b_
Descriptionto GLAIVE, 2024-01
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency (ARIA)
Children—
CreatedMar 22, 2026, 4:04 PM
UpdatedMar 22, 2026, 4:04 PM
SyncedMar 22, 2026, 4:04 PM

Record Data

idoujE6VM6b_
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-01
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: oujE6VM6b_

Source Table: grants

Source ID: oujE6VM6b_

Parent Thing ID: sid_XqjV4mbMXQ