Hello!
I am a PhD student under the supervision of Prof. Jamie Vicary at the Department of Computer Science and Technology, University of Cambridge. I am a member of the Cambridge Logical Structures Hub (CLASH).
My research is about higher categories as algebraic and directed notions of space, and the main problem I am working on is the homotopy hypothesis for weak omega-categories. I am interested in approaching these problems with computational methods and ideas from dependent type theories, such as Homotopy Type Theory (HoTT) and CaTT, as well as diagrammatic calculi.
Interests
- Higher Category Theory
- Homotopy Type Theory
- Globular Methods
- Type Theory
- Proof Assistants
Research Projects
Selected Talks
- Posetal diagrams, ACT conference, Maryland (remote) Aug 2023
- Posetal diagrams, YAMCATS seminar, Leeds Jun 2023
- Posetal diagrams, POODLE seminar, Oxford Jun 2023
- On some impossible properties of the affine line object, Part III seminar, Cambridge Apr 2022