Skip to main content

Nick Hu

Personal photo - Nick Hu

Nick Hu

Doctoral Student
Teaching Assistant

College Lecturer, St Catherine's College

E: nick.hu@cs.ox.ac.uk
T: (01865 6)10784

Room 216, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

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

View AllManage publications

Activities

Supervisor