# 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