About
I am a PhD student in the Laboratory for Foundations of Computer Science at the University of Edinburgh working with Chris Heunen and Perdita Stevens.
I am interested in applied category theory, especially applications of category theory to computer science. My current work relates to dagger categories and Hilbert spaces, with loose connections to quantum computing. My previous work focused on delta lenses—a category theoretic model of bidirectional transformations, polynomial functors and indexed categories.
Publications
Preprints
Talks
Activities
- Program committee member for Applied Category Theory 2024
- Coorganiser of Categories and Companions Symposium 2022
- Coorganiser of Categories and Companions Symposium 2021
- Concepts and Profunctor Nuclei Applied Category Theory adjoint school blog post
- Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions blog post