Quick Assessment
| Attribute | Details |
|---|---|
| Full Name | David A. Dalrymple ("davidad") |
| Current Role | Programme Director, Advanced Research and Invention Agency (ARIA) |
| Programme | Safeguarded AI (\£59M R&D programme) |
| Previous Role | Research Fellow, Oxford University Future of Humanity Institute (2021–2023) |
| Key Focus | Formal verification, provably safe AI, mathematical guarantees for critical infrastructure |
| Notable Work | Safeguarded AI framework, flexHEG, C. elegans nervous system simulation, Filecoin co-invention |
| Key Collaborators | Yoshua Bengio, Max Tegmark, Sanjit Seshia (co-authors); Evan Hubinger (MATS co-mentor) |
Key Links
| Source | Link |
|---|---|
| Personal website | davidad.org |
| CV | davidad.org/davidad_cv.pdf |