I've been writing Haskell since ca 2005. Interested in language implementations, software verification, type theory and machine learning.