Superb C++, Haskell, Scala, FP, and OO design chops.
Expert at designing compilers, type systems, frameworks, and embedded programming languages.
Strong background in pure mathematics, computer science, functional programming, and category theory.