David Dalrymple develops approaches to trustworthy AI as a technical advisor to ARIA’s Safeguarded AI programme, which he founded and previously directed. His work combines mathematical modeling and formal verification; earlier, he researched AI safety at Oxford’s Future of Humanity Institute and co-invented Filecoin at Protocol Labs.
Technical Advisor, Safeguarded AI
Previously Safeguarded AI Programme Director, 2023–April 2026.
Research Fellow, Future of Humanity Institute
Research Scientist
Co-invented Filecoin and developed Hypercerts.
Software Engineering and Machine Learning Consultant
Earlier independent scientific research, 2010–2011, and consulting programming work, 2005–2006.
Summer Fellow
Senior Software Engineer
Participant
Research Affiliate
Coordinated research toward simulating the C. elegans nervous system. Previously a teaching assistant at MIT, 2007–2011.
Summer Intern
Earlier summer internships in 2001 and 2002, contributing to chatbot and image-processing projects.
SM, Media Technology
BS in Computer Science and Mathematics
PhD studies in Biophysics, 2011–2012 (not completed)
PhD studies in Artificial Intelligence, 2008–2010 (not completed)
