Grant P4laC-9Bj6
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Grantee
- University of Oxford
- Name
- ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Probabilistic Protocol Specification for Distributed Autonomous Processes. Lead(s): Nobuko Yoshida, Adrian Puerto Aubel, Burak Ekici, Joseph Paulus, Dylan McDermott. Institutions: University of Oxford. Status: active.
Source evidence
1 src · 3 checks- Grantee
- University of Oxford
- Focus Area
- TA1.1
- Name
- Probabilistic Protocol Specification for Distributed Autonomous Processes
- Description
- University of Oxford
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme within ARIA, not ARIA itself as the primary subject. Per QUA-648, programmes and initiatives within an organization count as distinct entities from the parent organization. The claim is about ARIA as the grantor, but the source focuses on a specific ARIA programme rather than ARIA's general grant-making activities.
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and mentions TA1 projects are being expanded, it does not provide specific project names, dates, grantee identifiers, or funder identifiers that would verify the structured record. The source discusses TA1 'Scaffolding' objectives but does not list individual funded projects with their specific titles or identifiers. The record cannot be confirmed or contradicted based on the available source material.