David Dalrymple
Programme Director at Advanced Research + Invention Agency
United Kingdom
Summary
👤
Senior🎓
Top SchoolDavid Dalrymple is a programme director and interdisciplinary researcher with 15 years building systems at the intersection of AI safety, applied category theory, systems neuroscience, and programming languages. He currently leads R&D funding at ARIA to create explainable mathematical models of real-world phenomena using large language models, after co-inventing Filecoin and inventing Hypercerts at Protocol Labs. His background ranges from hands-on production engineering at Twitter and Magic to academic research at FHI, MIT Media Lab, and Harvard, culminating in the Open Agency Architecture for technical AI safety. He has founded and coordinated ambitious lab projects in computational neuroscience (Nemaload) and has deep experience shipping high-throughput, resilient infrastructure and novel proof-of-concept research. Known for bridging rigorous math and practical engineering, he combines a rare mix of formal modeling instincts with production-grade systems design. Based in the UK, he brings both entrepreneurial grit and academic depth to hard problems in trustworthy AI and mechanistic modelling.
16 years of coding experience
12 years of employment as a software developer
Mesh, Mesh at Recurse CenterS.M. Media Technology, S.M. Media Technology at Massachusetts Institute of TechnologyUMBCDoctor of Philosophy (Ph.D.) Biophysics, Doctor of Philosophy (Ph.D.) Biophysics at Harvard UniversityArtificial Intelligence Networks and Computing Systems Neurotechnology, Artificial Intelligence Networks and Computing Systems Neurotechnology at Singularity University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (37)
builtin10
ipfs10
filecoin10
blockchain10
executable9
tla9
spec9
specification9
golang9
go8
state-machine8
coq8
proof-assistant7
dependent-types7
theorem-proving7
Programming languages (13)
Github contributions (5)
nemaload/pose_extraction
Aug 2010 - Apr 2014
Contributions:139 commits in 3 years 9 months
davidad/davidad.github.io
Feb 2014 - Apr 2014
Contributions:270 commits in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.