David A. Dalrymple (davidad) - Personal Homepage

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.