The people behind
the proofs.

Adam is a mathematician, software engineer, and founder originally from the Wirral, UK. He holds a DPhil in Mathematics from the University of Oxford, where he specialised in model theory and arithmetic geometry under the supervision of Jonathan Pila and Boris Zilber. An applied model theorist, he spent his research years bringing model-theoretic techniques to problems in arithmetic geometry.

After a few years in academia he moved into software engineering, and recently the two careers met: model theory and logic, he realised, could be used to build better software, software suited to the AI era. He jumped at the chance. Tarski, the lab’s flagship platform, is the manifestation of that idea, and everything Lorena Labs builds now stands on it.