Metadata
| Source Table | grants |
| Source ID | RPJEzY-5fZ |
| Description | to Heriot-Watt University, 2024-01 |
| Source URL | www.aria.org.uk/programme-safeguarded-ai/ |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 22, 2026, 4:04 PM |
| Updated | Mar 25, 2026, 3:13 AM |
| Synced | Mar 22, 2026, 4:04 PM |
Record Data
id | RPJEzY-5fZ |
organizationId | Advanced Research and Invention Agency (ARIA)(organization) |
granteeId | Heriot-Watt University(organization) |
orgEntityId | Advanced Research and Invention Agency (ARIA)(organization) |
orgDisplayName | — |
granteeEntityId | Heriot-Watt University(organization) |
granteeDisplayName | — |
name | ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML |
amount | — |
currency | GBP |
period | — |
date | 2024-01 |
status | — |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | [Safeguarded AI TA1.1] Quantitative Predicate Logic as a Foundation for Verified ML. Lead(s): Ekaterina Komendantskaya, Robert Atkey, Radu Mardare, Matteo Capucci. Institutions: Heriot-Watt University / University of Strathclyde. Status: closed. |
programId | VpM42-Oye3 |
dataSourceId | — |
Source Check Verdicts
unverifiable85% confidence
Last checked: 5/18/2026
1 → unverifiable; stale (excluded): 1 → partial
Debug info
Thing ID: RPJEzY-5fZ
Source Table: grants
Source ID: RPJEzY-5fZ
Parent Thing ID: sid_XqjV4mbMXQ