Co-founder & CTO at Dwelly, where we acquire UK lettings agencies and rebuild their operations around a shared technology platform. Previously co-founded and exited PIK Rent.
My work follows two questions: how much of a business can AI operate, and how can we verify the reasoning we delegate to machines?
| Project | The question | What you can inspect |
|---|---|---|
| OperateBench · Dwelly | Can an AI agent keep a business operation progressing as the world changes? | A technical preview of persistent-operation evaluation, deterministic replay, and human checkpoints |
| decision-lineage | Can engineering decisions remain traceable as systems and organisations evolve? | A draft specification, ADR importer, validator, and reference tools |
| Erdős research · 302 · 36 | Can AI-assisted exploration produce independently checkable mathematical results? | Proof candidates, partial bounds, computational certificates, and verification code |
| P vs NP formalization | How far can formal verification take an ambitious proof search? | Lean formalizations, proof-route audits, and explicit open obligations |
Research includes unrefereed candidates and partial results. Each repository states its claims, verification boundary, and reproduction steps.
Technical feedback, independent reproduction, and contributions are welcome in the relevant repository.