My research is on the topic of higher category theory; in particular, the foundations of the proof assistant homotopy.io. I am also interested in higher category theory as an arena for formal category theory, and how this enables diagrammatic methods. For example, my master's thesis was about using the 2-category Prof to analyse traced monoidal categories with string diagrams as an instance of the internalization. Broadly speaking, I am generally interested in category theory applied to theoretical computer science.
I did my undergraduate degree in Computer Science, followed by a MSc in Mathematics and Foundations of Computer Science, both at St Catherine's College, Oxford. I am currently studying towards a DPhil in Computer Science at Balliol College. I also hold a college lectureship at St Catherine's to teach Algorithms and Data Structures.
- Hilary 2019
- Tutor for Categorical Quantum Mechanics and Algorithms and Data Structures (Catz)
- Michaelmas 2019
- Tutor for Quantum Computer Science and Computer-Aided Formal Verification
- TA for Computer-Aided Formal Verification
- Practical demonstrator for Functional Programming and Principles of Programming Languages
- Hilary 2018
- Practical demonstrator for Imperative Programming I&II and Design and Analysis of Algorithms
- TA for Functional Programming (Software Engineering Department)
- Michaelmas 2018
- Practical demonstrator for Functional Programming and Compilers
Codensity Games for Bisimilarity
Yuichi Komorida‚ Shin−ya Katsumata‚ Nick Hu‚ Bartek Klin and Ichiro Hasuo
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019. Pages 1–13. IEEE. 2019.
34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019
External traced monoidal categories
Master's Thesis 2019.