People
Founder
Dr Adam Harris
Adam is a mathematician, researcher and founder from the Wirral, UK. He holds a DPhil in Mathematics from the University of Oxford, where he specialised in mathematical logic and arithmetic geometry.
Adam leads the lab’s work across Sorus, Tarski and Lema Lang, applying his research background to software development.
Company details
Lorena Labs Ltd is registered in England and Wales.
- Company
- Lorena Labs Ltd
- Number
- 16991625
- Incorporated
- 27 January 2026
- Registered office
- 20 Wenlock Road, London N1 7GU
Working with us
We don’t currently have open roles. If you’re interested in our work, you can contact us to introduce yourself.
Write to us