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
Categorical semantics of dependent types
—An introduction for undergraduates
Type level Haskell: FizzBuzz
—Some fun with Haskell's type system
Scraping Facebook posts with Haskell
—An exploration of the Oxfeud.it backend
A lambda-term that finds beta-normal forms
—Compiling to the lambda calculus
LamE
—A small functional language