Advancing the Science of
Verifiable Systems

The Exo-Data Institute (EDI) develops architectural foundations for algorithmic governance, public proof, and epistemic infrastructure in the age of invisible computation.

Research Programs

Epistemic Systems

Foundations of cognitive geometry, pre-formal navigation, and the measurement of epistemic friction.

Verification & Governance

Architectures for auditable state functions, ISO 24153 compliance, and the "Impossible Delegation" theorem.

Institutional Engineering

Designing synthetic institutions and distributed verification networks for civilizational-scale systems.

Latest Publications