entity
David Dalrymple
Metadata
| Source Table | entities |
| Source ID | david-dalrymple |
| Entity Type | person |
| Description | David "davidad" Dalrymple is a Programme Director at the UK's Advanced Research + Invention Agency (ARIA), where he leads the GBP 59 million Safeguarded AI programme aiming to develop AI systems with mathematical safety guarantees through formal verification. The youngest-ever MIT graduate degree re… |
| Source URL | davidad.org/ |
| Wiki ID | E1998 |
| Children | — |
| Created | Mar 29, 2026, 10:41 PM |
| Updated | Apr 17, 2026, 1:28 AM |
| Synced | Apr 17, 2026, 1:28 AM |
Record Data
id | david-dalrymple |
wikiId | E1998 |
stableId | David Dalrymple(person) |
entityType | person |
title | David Dalrymple |
description | David "davidad" Dalrymple is a Programme Director at the UK's Advanced Research + Invention Agency (ARIA), where he leads the GBP 59 million Safeguarded AI programme aiming to develop AI systems with mathematical safety guarantees through formal verification. The youngest-ever MIT graduate degree re… |
website | davidad.org/ |
tags | [ "formal-methods", "provably-safe-ai", "ai-safety", "formal-verification" ] |
clusters | — |
status | — |
lastUpdated | — |
customFields | [
{
"label": "Role",
"value": "Programme Director, ARIA Safeguarded AI"
},
{
"label": "Known For",
"value": "Provably safe AI agenda, Guaranteed Safe AI framework, ARIA Safeguarded AI programme"
}
] |
relatedEntries | [
{
"id": "sid_MEt9F7f50w",
"type": "approach",
"relationship": "leads-to"
}
] |
metadata | — |
Debug info
Thing ID: sid_SQlb1r5EzN
Source Table: entities
Source ID: david-dalrymple
Wiki ID: E1998
Entity Type: person