- PhD Student
Biography
I am a PhD student in the Cambridge Logical Structures Hub (CLASH), working under the supervision of Jamie Vicary. I completed the first year of my PhD in Birmingham before transferring to Cambridge. I did my undergraduate degree in Mathematics and Computer Science at St Catherine's College in Oxford.
Research
My research interests are higher category theory and string diagrams. I am currently working on the proof assistant homotopy.io for finitely-presented globular $n$-categories. I am also interested in cubical models of higher category theory.
Teaching
I have supervised several courses at Cambridge:
- Further Java (Part IB, MT 2020)
- Compiler Construction (Part IB, LT 2021)
- Foundations of Computer Science (Part IA, MT 2021)
- Further Java (Part IB, MT 2021)
- Advanced Topics in Category Theory (MPhil ACS / Part III, LT 2022)
- Advanced Topics in Category Theory (MPhil ACS / Part III, LT 2023)
Professional Activities
Co-organiser of the 4th International Conference on Applied Category Theory (ACT 2021), 12-16 July 2021
Talks
December 2022, "A layout algorithm for higher-dimensional string diagrams", SYCO 10 [slides]
