February 12, 2014
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've been using various programming languages over the years (C, Basic, Pascal, (La)TeX, bash, Eiffel, Java, Perl, SML, OCaml, Python, Lua, Scala, Agda, Idris, Coq, ...) I'm generally interested in programming languages, concepts of programming languages and their implementation. But I'm most familiar with Haskell, and (apart from the new dependently typed languages) it's clearly my favourite language.
The type system, functional data structures and algorithms, (datatype-)generic programming, meta-programming, code reuse, parallel programming, applications of functional languages.
I am a partner and Haskell Consultant at Well-Typed LLP (http://www.well-t...). I'm living in Regensburg since 2010.