I'm a Maths & Computer Science student at Oxford, drawn to the places where clean theory has to survive contact with real systems.

Lately that means type theory and substructural types, concurrency, and the mathematical formalisation of machine learning. I build things to understand them — a clean-room reimplementation here, a semantic search engine there — and I self-host most of what I run.

The best way to reach me is email: [email protected]. I'm also on GitHub and LinkedIn.