Building the Foundations for Trusted AI Agency
Our research studies and develops the formal, technical and organisational foundations required to delegate consequential work to AI without surrendering control or accountability.
Governance Inside the Agent Loop
Exact Nonblocking Control under Partial Observation and Dynamic Authority
agent governance · runtime assurance · supervisory control · formal methods · partial observation · dynamic authority
1 August 2026Read paper →// design and reliabilityDesign, Potential and Realization in Agentic Systems
A framework for agentic systems that connects configuration to possible and realized behaviors.
agentic systems · system design · potential · realization · authority · reliability
1 August 2026Read paper →// organisational adoptionEnterprise AI Adoption as an Organisational State Transition
A state-transition theory of organisational AI adoption
enterprise AI adoption · organisational state · delegation · hysteresis · complementarities · state transition
1 August 2026Read paper →Agent governance and control
Permitting exactly the next actions that keep an acceptable completion reachable, under partial observation and authority that changes with runtime state.
Proof-carrying authority
Certificates that a governing decision was both authorised and exactly effective, and governance memory in which an earlier certified decision survives everything recorded after it.
Design and reliability
Separating what an agentic system may do from what it does. Potential, realization, minimal permission, and selection under cost, latency, exposure and risk.
Organisational adoption
Adoption as a state rather than a score: sustained delegation of consequential work, the evidence loop that holds it in place, and the thresholds that govern entry and exit.