Writing

Papers and notes on trustworthy AI.

Research on governance that executes, verifiable self-governance, sovereign AI, and keeping human judgment central. Some pieces are published; several are working papers in preparation. I write as I build — no polish, no PR spin.

Working papers

In preparation — full drafts available on request while they're finalized.

Formal methods · safety

Verifiable Self-Governance: A Formal Approach to Safety in Adaptive Autonomous Systems

Specifying and checking governance properties so an adaptive system's constraints can be verified rather than asserted.

In preparation
Formal methods · governance

Formal Methods for AI Self-Governance

Making self-governance mechanisms precise enough to reason about — and to test.

In preparation
Systems · sovereignty

A Framework for Explainability, Auditability & Data Sovereignty in Advanced AI Systems

Keeping decisions explainable, records reconstructable, and data under the owner's control.

In preparation
Governance · engineering

AI Governance and Compliance: An Engineering Mandate

Treating governance as an engineering constraint that runs at build and runtime, not a policy bolted on after.

In preparation
Formal methods · alignment

Formalizing Ethical Interoperability in AI Governance

A category-theoretic approach to composing ethical constraints across systems, within the LLANg framework.

In preparation
Want an early draft of any of these? Send a note and I'll share it. Follow new work through RSS, LinkedIn, or a direct launch-notification request. Start with the evidence register for bounded claims and reproduction paths.