Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
Nick Hu39 Canal Street
Oxford
OX2 6BQ
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