The company behind the architecture.
Riley Betts Ltd is a Scottish software company. We specify what regulated systems are allowed to do, prove those rules, and enforce them before an AI agent — or any other proposer — can act. The homepage is the thesis. This page is who we are.
- Legal name
- Riley Betts Ltd
- Also trading as
- Riley Betts Limited · rileybetts.ai
- Company number
- SC866887 · Registered in Scotland
- Registered office
- Fordyce Castle, Fordyce, Banff, AB45 2SN, Scotland
- Contact
- info@rileybetts.ai
We have done this before.
Twenty-five years building software for financial institutions, derivatives pricing platforms, trading systems, risk infrastructure. Pioneer of Python in financial services, when Python was still considered an unconventional choice for production systems.
Deep practitioner of agentic orchestration, AI planning loops, and the architectural patterns that make autonomous systems safe rather than merely useful. The specification-first philosophy came from years of watching systems fail not because of bad code, but because of bad specifications.
A successful technology entrepreneur, architect of the Compliance Operator's formal security model and ZK proof infrastructure. Brings a background in systems architecture and a rigorous approach to the hardest problem in enterprise AI: not making AI smarter, but making AI that cannot be wrong in ways that matter.
Author of the policy constrained authorisation model and the Spec++ specification methodology. His insistence on provability over plausibility is the reason Riley Betts products come with theorems, not promises.
Joint Mathematics and Computer Science degree from the University of St Andrews. Academic background in predicate logic, Bayesian inference, statistics, and contemporary AI techniques—precisely the disciplines at the intersection of formal specification design and probabilistic-to-deterministic reasoning.
Where most engineers encounter formal methods reluctantly and late, Jamie started there. That grounding underpins the mathematical rigour of both Spec++ and the Compliance Operator: the ability to reason precisely at the boundary between probabilistic AI behaviour and deterministic enforcement guarantees.
Riley Betts engages as a joint team with your domain and compliance experts. We retain the engineering and cryptographic specialists; you provide the business context and regulatory knowledge. Engagements begin with a fixed-scope pilot designed to prove the architecture on your specific use case before any broader commitment.