Research interests
- Homotopy theory
- Derived algebraic geometry
- Type theory
- Quantum computing
- FOSS
- Birds
What I'm doing
I'm currently writing my PhD thesis with Julien Grivaux and Damien Calaque, on the subject of twisting cochains in complex geometry and Chern classes of coherent sheaves via simplicial connections.
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].