Until recently I was a research PhD student in the Functional Programming Laboratory at the University of Nottingham.
I am interested in Category Theory, in particular in Higher-dimensional Category Theory, dependent Type Theory and their interaction in the semantics of programming.
Thesis:
Recently I defended a PhD Thesis titled Distributive Laws in Programming Structures on
a generalised notion of a categorical distributive law. Its latest
version can be dowloaded above, but please note that some minor
corrections are still to be carried out.
Papers:
Expression Lemma, joint with Ralf Lämmel, Mathematics of Program Construction 2008 (MPC'08)