Daniel Mroz

Computer Science PhD student, University of Manchester

Research Interests: Logic, category theory, (directed) homotopy theory

CV ~ Github

Email: me (at) danielmroz.co.uk

or, daniel.mroz (at) manchester.ac.uk

About

After studying Maths and Computer Science at Oxford, I'm now a PhD student at Manchester. I'm a big fan of functional programming, especially in Haskell, because it makes it possible to write very high-level, elegant and understandable programs, and easily reason about the correctness of programs.

Notes

Short notes I've written up on various subjects.

Posts