Nick Hu
Nick Hu
Room
216,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Themes:
Interests
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.
Biography
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.
Teaching
- Hilary 2024
- Tutor for Algorithms and Data Structures (Catz)
- Michaelmas 2023
- Admissions interviewer for undergraduate Computer Science & joint courses (Catz)
- Hilary 2023
- Tutor for Algorithms and Data Structures (Catz)
- Hilary 2022
- Tutor for Algorithms and Data Structures (Catz)
- Michaelmas 2021
- Admissions interviewer for undergraduate Computer Science & joint courses (Catz)
- Tutor for Categories, Proofs and Processes and Compilers (Jesus)
- Hilary 2021
- Tutor for Categorical Quantum Mechanics and Algorithms and Data Structures (Catz)
- Michaelmas 2020
- Admissions interviewer for undergraduate Computer Science & joint courses (Catz)
- Hilary 2020
- Tutor for Categorical Quantum Mechanics and Algorithms and Data Structures (Catz)
- Michaelmas 2019
- Admissions interviewer for undergraduate Computer Science & joint courses (Catz)
- 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 2019
- Practical demonstrator for Imperative Programming I&II and Design and Analysis of Algorithms
- TA for Functional Programming (Software Engineering Department)
- Michaelmas 2018
- MAT marker
- Practical demonstrator for Functional Programming and Compilers
Selected Publications
-
Traced Monoidal Categories as Algebraic Structures in Prof
Nick Hu and Jamie Vicary
In Ana Sokolova, editor, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics‚ MFPS 2021‚ Hybrid: Salzburg‚ Austria and Online‚ 30th August − 2nd September‚ 2021. Vol. 351 of EPTCS. Pages 84–97. 2021.
Details about Traced Monoidal Categories as Algebraic Structures in Prof | BibTeX data for Traced Monoidal Categories as Algebraic Structures in Prof | DOI (10.4204/EPTCS.351.6) | Link to Traced Monoidal Categories as Algebraic Structures in Prof
-
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.
Details about Codensity Games for Bisimilarity | BibTeX data for Codensity Games for Bisimilarity | Download (pdf) of Codensity Games for Bisimilarity | DOI (10.1109/LICS.2019.8785691) | Link to Codensity Games for Bisimilarity
-
External traced monoidal categories
Nick Hu
Master's Thesis University of Oxford. 2019.
Details about External traced monoidal categories | BibTeX data for External traced monoidal categories | Download (pdf) of External traced monoidal categories