Welcome to my personal website, which is permanently “under construction”, and where I collect some things that interest me, some things about me, and some completely unrelated things.


Computer Science

I’m broadly interested in building systems for reasoning and inference tasks. Currently, together with the team at Vaticle, we are trying to build a better framework for the representation and synthesis of structured knowledge.


I have worked on graphical calculi for category theory and type theory (going back to ideas of Penrose), and generalizations thereof called manifold diagrams. My work helped kickstart the theory of geometric higher categories, a young area lying at the intersection of stratified geometry, combinatorial topology and higher algebra. To get a quick overview, check out my nine short stories about geometric higher categories. Many parts of the area remain under active development. My long term ambition for this line of research would be to provide new foundations for Quantum Topology and Mathematical Physics, as well as a basis for higher-categorical reasoning.

Career highlights

  • From 2010 to 2013, I studied Physics at ETH Zurich. I received the Polya Prize for finishing top of my class.
  • From 2013 to 2014, I studied Mathematics at Cambridge funded by the German Academic Scholarship Foundation. I focused on Quantum Computation, Information Theory and Category Theory. I received the Parks Prize in Mathematics for finishing top among my college peers.
  • In 2014, I started a PhD programme at the Department of Computer Science in Oxford funded by the EPSRC. I submitted my thesis in late 2018, and defended in early 2019. I also spent time in Maths (where my supervisor was).
  • In Mar 2019, I started a 4-year Post-Doc at the Mathematical Institute in Oxford funded by the EPSRC.
  • In Dec 2021, I co-wrote a book on the of the foundations of combinatorial directed space.
  • In Aug 2022, I co-wrote a paper on the local models of geometric higher categories.


The Past

The future

  • Rest of 2023. preparing a preprint with Lukas Heidemann and Christopher Douglas

Comment policy

Comments are enabled for most online notes (and some other pages on this website). Relevant and respectful comments are most welcome. You can also write mathematics in the comments.