Managing Director and co-owner of Inetis Ltd, software engineer, and researcher building verifier-driven AI systems for difficult optimization, algorithmic search, and systems-engineering problems.
- Solved the long-standing English perfect 10-square problem, producing the first proper English 10-square. For the history of the problem, see Wikipedia. Code and publication
- Established new best-known results on two circle-packing benchmarks, improving on results reported by Google DeepMind’s AlphaEvolve: 32 variable-radius circles in a unit square and 21 variable-radius circles in a perimeter-4 rectangle. Verified Active Model results
- Produced additional best-known numerical results in circle packing and spherical codes, as well as a large-scale AC optimal-power-flow result accepted into MINLPLib.
- Developing Active Model, a verifier-driven system for cold-start search over difficult computational and software-engineering problems.
Frontier-model research engineering, autonomous scientific discovery, combinatorial and numerical optimization, program analysis, and foundational software.
Open to research-engineering roles, technical collaborations, and strategic opportunities involving Active Model and the Inetis engineering team.