IOHK | Team

Prof. Simon Thompson

Simon Thompson
  • Senior Research Fellow

Canterbury, UK

Simon Thompson is a researcher, author and teacher, and professor of logic and computation at the University of Kent. 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 works with IOHK on domain-specific languages for Cardano.

Simon is not an employee of IOHK but IOHK are funding him through a research contract.

Simon Thompson