Homotopy theory, derived algebraic geometry, quantum computing, type theory, FOSS, birds.
What I'm doing
For other things I'm doing, have a look at the [projects] page.
What I've done
I graduated with an MMath (Mathematics) from the University of Oxford in 2016, after having finished my BA in Mathematics there. Whilst there I wrote two theses — both can be found on the [papers] page.
For more details see my [CV].