Hi! I am a mathematician and computer scientist working in higher category theory. I'm currently based at Oxford University where I'm about to finish my PhD, but also spend some of my time in New York.

In short, my work focuses on combinatorial models of higher categories. Higher categories are a generalisation of spaces, adding a notion of “direction” to the latter: While in a space any path can be travelled along in two directions, in higher categories this need not be the case. This is relevant for the description of irreversible processes. In my PhD thesis I build a fully algebraic and computer implementable model of higher categories by observing that higher categories are locally described by certain manifolds embedded in directed (Euclidean) space. Higher categories can be a foundation for all of mathematics. They encompass many interesting (and possibly all feasible) modes of composition in mathematics, vastly extending upon the linear mode of composition of functions in Set Theory. In future research I would like to follow this line of thought further, ultimately arriving at a type theory for higher categories. Somewhat speculatively, this could be useful in many parts of physics, in particular quantum physics and topological field theories, which I would like to explore as well.

A more detailed research statement is available upon request.

*Associative n-categories*. Phd Thesis (arXiv:1812.10586, submitted to Examination Schools)*A datastructure for higher sesqui-categories*(Sep 2016). Draft (.pdf)*Basic concepts in homotopy theory*(Oct 2015). Expository notes (.pdf)*Enriched Category Theory*(May 2014). Part III essay (.pdf)

*Manifolds and higher categories*(Nov 2018). McGill Category Theory and Logic Seminar, Montreal*Combinatorial Cobordism*(Oct 2018). Category Theory Octoberfest 2018, New York*Associative n-categories*(Sep 2018). New York Category Theory Seminar, CUNY, New York*Higher-dimensional Programming*(May 2018). Applied Category Theory Seminar, MIT, Cambridge MA*Associative n-categories*(Apr 2018). 103rd Peripatetic Seminar on Sheaves and Logic, Brno*TQFTs and string diagrams*(Oct 2017). Junior Algebra and Representation Theory Seminar, Oxford

- University of Oxford, PhD in Mathematics and Computer Science (2014-2018)
- University of Cambridge, Part III in Mathematics (2013-2014)
- ETH Zurich, BSc in Physics (2010-2013)

A more detailed CV is available upon request.