Chapman Fellow at Imperial College London, working on formalisation in Lean.

Mathematical interests include category theory, functional analysis, analytic number theory, graph theory and model theory.

Non-mathematical interests include music, functional programming and data visualisation.