Home

I have a PhD in mathematics from the University of Sheffield. My supervisor was Neil Strickland.

I'm interested in lots of things. My PhD was in stable homotopy theory, particularly, chromatic homotopy. Nowadays, I spend a lot of time thinking about type theory and its variations.

At some point I will add more to this site. In the meantime, get in touch with me via LinkedIn.