skip to content

Department of Computer Science and Technology

  • 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:  

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]

Contact Details

Room: 
FS35
Email: 

ct608@cam.ac.uk