Daniel Mroz

Computer Science PhD, Haskell Programmer

Research Interests: Category theory, (directed) homotopy theory, logic

CV ~ Github ~ Flickr

Email: me (at) danielmroz.co.uk

About

I am a Haskell programmer, currently working for Standard Chartered. 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.

I completed a PhD in Computer Science at Manchester, supervised by Andrea Schalk. My research focused on constructing categories of transition systems via lax distributive laws of monads. Prior to that, I studied Maths and Computer Science at Oxford.

Notes

Short notes I've written up on various subjects.

Posts