Professional Haskell programmer. Math and formal verification enthusiast.