Nick Hu
I am a DPhil student at the Department of
Computer Science in the University of Oxford, and I have interests in
category theory and its applications to computer science. Please see my departmental
webpage for more details. My CV can be found here.
If you want to contact me, you can do so by these channels (in
descending order of checking frequency):
Publications
Talks
- homotopy.io: a proof assistant for finitely-presented globular n-categories
- ERATO MMSD Colloquium. [slides]
- Midlands Graduate School 2022 student presentations.
- Traced Monoidal
Categories as Algebraic Structures in Prof,
2021.
- 37th Conference on Mathematical Foundations of Programming
Semantics. [slides]
- Category Theory 20→21. [video]
- ‘Accelerating Naperian functors’, September 2017. 7th South of
England Regional Programming Language Seminar. [slides]
Events
-
July 2022
-
Federated Logic Conference 2022.
-
Research School on Bicategories, Categorification and Quantum Theory.
-
June 2022
-
10th Conference on Topology, Algebra, and Categories in Logic.
-
May 2022
-
Meeting 27 of the Yorkshire and Midlands Category Theory Seminar.
-
April 2022
-
22st Midlands Graduate School in the Foundations of Computing Science.
-
February 2022
-
Logic and higher structures.
-
August 2021
-
37th Conference on the Mathematical Foundations of Programming
Semantics, presented paper Traced Monoidal Categories as
Algebraic Structures in Prof.
more…
-
July 2021
-
Fourth International Conference on Applied Category Theory, local
organiser.
-
June 2021
-
Toposes online.
-
April 2021
-
21st Midlands Graduate School in the Foundations of Computing Science.
-
January 2021
-
2021 Quantum Group Workshop, presented talk ‘Profunctor string
diagrams’. [slides]
-
September 2019
-
Fifth Symposium on Compositional Structures.
-
July 2019
-
34th Annual ACM/IEEE Symposium on Logic in Computer Science.
-
September 2018
-
ERATO MMSD Project Camp 2018, presented poster ‘Metric probabilistic
bisimulation games’.
-
July 2018
-
Federated Logic Conference 2018, student volunteer.
-
November 2017
-
EPSRC Vacation Bursary Poster Event, presented poster ‘Universal
representability for graphical processing units’. [poster]
-
September 2017
-
Second International Conference on Formal Structures for Computation and
Deduction.
-
22nd ACM SIGPLAN International Conference on Functional Programming,
student volunteer.
-
January 2017
-
44th ACM SIGPLAN Symposium on Principles of Programming Languages.
Miscellaneous
notes
Last updated: Fri, 19 Aug 2022 13:50:11 +0000