Simon Thompson is a researcher, author and teacher, and an emeritus professor of the University of Kent, where he specialized in logic and computation. His research into functional programming covers verification, tool-building and testing for Erlang, Haskell and OCaml. He is the author of books on type theory, Haskell and Erlang, and runs a Mooc about Erlang for FutureLearn. He has worked for IOHK since 2019 on domain-specific languages for Cardano.