September 7, 2013
I am using Haskell since 1997. I have been doing research into functional programming languages and Haskell in particular for several years. In 2010, I joined Well-Typed LLP. I am now working on Haskell code for our clients and coordinating our Haskell training activities.
I'm most interested in Haskell and in dependently-typed programming languages such as Agda, Coq, Idris, ... The topics that most interest me are: the type system and type-level programming; modularity and reuse, in particular (datatype-)generic programming; (embedded) domain-specific languages; compiler construction; parallel programming.
I am a partner and Haskell Consultant at Well-Typed LLP. I am based in Regensburg, Germany.