I'd also be willing to bet that he programs in languages like Ocaml and Haskell.