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
- Nick Hu and Jamie Vicary. Traced Monoidal Categories as
Algebraic Structures in Prof.
Salzburg, Austria, 2021.
Proceedings of the 37th Conference on Mathematical Foundations of Programming Semantics. https://doi.org/10.4204/EPTCS.351 (MFPS 2021). - Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, and Ichiro
Hasuo. Codensity Games for
Bisimilarity, Vancouver, Canada, 2019.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science. https://doi.org/10.1109/LICS46462.2019 (LICS 2019).
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.
- ‘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
- Nick Hu. Cartesian closed categories and the
simply-typed λ-calculus, June 2018.
My undergraduate thesis, presenting the categorical semantics for simply-typed λ-calculus in the vein of Roy Crole’s Categories for Types. Supervised by Luke Ong. - Nick Hu. Accelerating Naperian functors,
Summer 2017.
A report on an EPSRC Summer Research Internship, on combining Haskell Accelerate and Naperian functors. Supervised by Jeremy Gibbons. - Nick Hu. Category Theory for Functional
Programmers, October 2017.
A vacation essay presenting an introduction to category theory for people who know a little Haskell. Heavily inspired by Bartosz Milewski’s Category Theory for Programmers. - Nick Hu. Understanding Monads, October
2016.
A vacation essay presenting a tutorial on monads in Haskell using basic category theory.
Last updated: Fri, 19 Aug 2022 13:50:11 +0000