Researcher, author and teacher, based at the University of Kent. My research has covered many aspects of functional programming, including verification, tool building and testing for Erlang, Haskell and OCaml. I'm author of books on type theory, Haskell and Erlang, and run a MOOC on Erlang for FutureLearn.