My research aims to make programmers better at what they do, by providing new tools and languages. I like applying theory, especially when it is driven by good applications. In the past I have worked on functional programming, program derivation, category theory and predicate transformer semantics.
