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
Index
Grant·Y5KYXGTD0R·Record·Profile

Advanced Research and Invention Agency (ARIA) record

Verdictunverifiable85%
2 checks · 1 src · 9/21/2026

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

Our claim

entire record
Name
ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI
Currency
GBP
Date
June 2024
Source
https://www.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.

Source evidence

1 src · 2 checks
www.aria.org.uk/programme-safeguarded-ai/ARIAresource
confirmed95%deterministic-row-match · 9/21/2026
Grantee
University of Manchester
Focus Area
TA1.1
Name
Profunctors: A unified semantics for safeguarded AI
Description
University of Manchester
Status
active

NoteDeterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 6/15/2026

NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.

Case № Y5KYXGTD0RFiled 9/21/2026Confidence 85%