The people
The people behind
the proofs.
Lorena Labs is small by design — mathematicians and engineers who believe safety is a property you build in, not bolt on.
Founder & Director
Dr Adam Harris
Adam is a mathematician, researcher and founder from the Wirral. He holds a DPhil in Mathematics from the University of Oxford, where he specialised in mathematical logic and arithmetic geometry — the mathematics of what can be stated precisely, and proved.
That training became a conviction: questions about how AI behaves should, wherever possible, become questions a machine can check. Adam created JacqOS, the agent operating system that grew into Lorena’s founding construction, and now leads the lab’s work across Tarski, Stella Loop and JacqOS.
- DPhil Mathematics · University of Oxford
- Mathematical logic · arithmetic geometry
- Creator of JacqOS
- Director · Lorena Labs Ltd
A lab asking for trust should be easy to check. Here is our public record — verifiable, like everything else.
- Company
- Lorena Labs Ltd
- Number
- 16991625
- Incorporated
- 27 January 2026
- Registered office
- 20 Wenlock Road, London N1 7GU
Join the
renaissance.
We’re not running a formal hiring process yet — but we’re always glad to meet people who care about proofs and products in equal measure.
Write to us