Skip to content
Longterm Wiki has not been actively maintained since May 2026. Some data is still updated occasionally, but please don't rely on this site being current or accurate.
Longterm Wiki

David A. Dalrymple (davidad) - Personal Homepage

web
davidad.org·davidad.org/

Personal homepage of David A. Dalrymple (davidad), a researcher known for work on open agency architecture and formal verification approaches to AI safety, relevant to technical AI safety efforts.

Metadata

Importance: 42/100homepage

Summary

This is the personal homepage of David A. Dalrymple, known as davidad, a researcher working on technical AI safety. He is associated with formal methods, open agency architecture, and provably safe AI systems. The page serves as a hub for his CV and research activities.

Key Points

  • •Personal homepage of David A. Dalrymple (davidad), a notable figure in technical AI safety research.
  • •Associated with open agency architecture and formal verification approaches to AI alignment.
  • •Links to CV and other professional information relevant to his AI safety work.
  • •Dalrymple has been involved with ARIA (Advanced Research + Invention Agency) and related safety-focused programs.
  • •Represents a key researcher perspective on provably safe and formally verified AI systems.

Cited by 1 page

PageTypeQuality
David DalrymplePerson61.0

Cached Content Preview

HTTP 200Fetched Jul 20, 20260 KB
-->
 davidad (David A. Dalrymple) 
 
 
 Home 
 CV 
 
 
 
 About

 
 
 David A. Dalrymple (also known as davidad )...
Resource ID: 7acb6f30f08f57b4 | Stable ID: sid_1BeK7kESfY