Homotopy theory, derived algebraic geometry, quantum computing, type theory, birds.
What I'm doing
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].
How to contact me
I'm sometimes on Freenode under the nick thosgood.