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
- Michaelmas 2021
- 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
-
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
-
34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019
Details about 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019 | BibTeX data for 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019 | Link to 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019
-
External traced monoidal categories
Nick Hu
Master's Thesis 2019.
Details about External traced monoidal categories | BibTeX data for External traced monoidal categories | Download (pdf) of External traced monoidal categories