Computer Science PhD student, University of Manchester
Research Interests: Logic, category theory, (directed) homotopy theory
Email: me (at) danielmroz.co.uk
or, daniel.mroz (at) manchester.ac.uk
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.
Short notes I've written up on various subjects.
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
Categorical semantics of dependent types—
An introduction for undergraduates
A small functional language
Type level Haskell: FizzBuzz—
Some fun with Haskell's type system