Nick Hu39 Canal Street

Oxford

OX2 6BQ

B nick.hu@cs.ox.ac.uk

Education

Oct 2018–current Master of Science Mathematics and Foundations of Computer Science,

University of Oxford.

Expected graduation: September 2019

Master’s thesis — ‘An external proof of the compact closure of traced ∗-autonomous

categories in Prof ’Supervisor: Dr. Jamie Vicary

Oct 2015–Jul 2018 Bachelor of Arts Computer Science, University of Oxford, Double First class.

Practical work (Years 1–3): Distinction

Bachelor’s thesis — ‘Cartesian closed categories and the simply-typed λ-calculus’: 80Supervisor: Prof. Luke Ong

Sep 2013–Jun 2015 A-Level, Lawrence Sheriff School Sixth Form, Rugby.

A-Level: Computing A, Maths A*, Further Maths A*, Physics A, Philosophy and Ethics A

AS-Level: Additional Further Maths A

EPQ: Level 3 Extended Project A* — ‘Is free software more ethical than open-source?’

Research

Jun 2018–Sep 2018 Research Internship, ERATO Hasuo Metamathematics for Systems Design

Project, National Institute of Informatics, Tokyo.

Exploration of topics in coalgebra and automata theory focusing on an extension

of ‘Expressiveness of Probabilistic Modal Logics, Revisited’, for a game-theoretic

characterisation of quantitative probabilistic bisimulation based on Kantorovich distance.

Joint work with Dr. Ichiro Hasuo, Dr. Shin-ya Katsumata, and Dr. Bartek Klin. Funded by

ERATO Hasuo Metamathematics for Systems Design Project.

Jul 2017–Sep 2017 EPSRC Vacation Project, University of Oxford.

Supervision under Prof. Jeremy Gibbons on work related to implementing an embedding

of Naperian functors (Haskell representable functors) into Haskell Accelerate, as an

extension of ‘APLicative Programming with Naperian Functors’. Funded by EPSRC

Vacation Bursary 2017.

Research Interests

Higher category theory, string diagrams, categorical logic and structures,

coalgebra, programming languages, foundational mathematics, type theory

Experience

2018–current Teaching Assistant, University of Oxford.

Lab demonstrator for the Department of Computer Science, and Software Engineering

Programme.

2016–current College Ambassador, St Catherine’s College, Oxford.

Outreach work for St Catherine’s College, e.g. open days, school events, etc.

2015–current Computer Science Ambassador, University of Oxford.

Outreach work for the Department of Computer Science.

2016–2018 Catz Computer Science Society President, St Catherine’s College, Oxford.

President and founder of a society for students of St Catherine’s College interested in

computer science.

May 2017 World Finals’ Coach, University of Oxford.

Took a team to 41st Annual World Finals of the ACM International Collegiate Programming

Contest.

Skills

UNIX competency Very familiar with Linux systems, coreutils, LATEX, OpenSSH.

Programming

languages

Haskell, C, C++, Lua, Python, Perl, Ruby, Scala, Java, JavaScript

Interests

Philosophy, structural mathematics, information security, UNIX systems, piano,

occasionally blogging about programming/mathematics, travel and foreign

languages

Publications

[1] Y. Komorida, S.-y. Katsumata, N. Hu, B. Klin and I. Hasuo. ‘Codensity Games for Bisimilarity’.

In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science. 34th

Annual ACM/IEEE Symposium on Logic in Computer Science. Vancouver, Canada, 2019. ISBN:

978-1-72813-608-0.

Conferences and Presentations

June 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, attended Logic

Mentoring Workshop

Sep 2018 ERATO MMSD Project Camp 2018, presented poster ‘Metric probabilistic

bisimulation games’

Jul 2018 Federated Logic Conference 2018, student volunteer

Nov 2017 EPSRC Vacation Bursary Poster Event, presented poster ‘Universal

representability for graphical processing units’

Sep 2017 7th South of England Regional Programming Language Seminar, presented talk

‘Accelerating Naperian functors’

Sep 2017 Second International Conference on Formal Structures for Computation and

Deduction, attended

Sep 2017 22nd ACM SIGPLAN International Conference on Functional Programming,

student volunteer

Jan 2017 44th ACM SIGPLAN Symposium on Principles of Programming Languages,

attended Programming Languages Mentoring Workshop

Awards

{ EPSRC Vacation Bursary 2017