Skip to content
Longterm Wiki

ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI

grantFailed source check

Metadata

Source Tablegrants
Source IDY5KYXGTD0R
Descriptionto University of Manchester, 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

idY5KYXGTD0R
organizationIdAdvanced Research and Invention Agency (ARIA)(organization)
granteeIdUniversity of Manchester
orgEntityIdAdvanced Research and Invention Agency (ARIA)(organization)
orgDisplayName
granteeEntityId
granteeDisplayName
nameARIA TA1.1: Profunctors: A unified semantics for safeguarded AI
amount
currencyGBP
period
date2024-06
status
sourcewww.aria.org.uk/programme-safeguarded-ai/
notes[Safeguarded AI TA1.1] Profunctors: A unified semantics for safeguarded AI. Lead(s): Nicola Gambino. Institutions: University of Manchester. Status: active.
programIdVpM42-Oye3
dataSourceId

Source Check Verdicts

unverifiable85% confidence

Last checked: 6/15/2026

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

Debug info

Thing ID: Y5KYXGTD0R

Source Table: grants

Source ID: Y5KYXGTD0R

Parent Thing ID: sid_XqjV4mbMXQ