WELCOME!

About me

I am a PhD student in Computer Science at Robinson College, University of Cambridge.

I am interested in the intersection of computer science and mathematics: type theory, category theory,
functional programming languages, etc.

Contact Details

Email: yh419 (at) cam.ac.uk

Projects

You can find a list of my projects here.