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):
- nick.hu@cs.ox.ac.uk (GPG)
- github.com/NickHu
- matrix: @nickhu:matrix.org
- IRC: NickHu @ freenode
Publications
- Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, and Ichiro Hasuo. Codensity Games for Bisimilarity, July 2019.
To appear in Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).
Talks
- ‘Accelerating Naperian functors’, September 2017. 7th South of England Regional Programming Language Seminar. [slides]
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.