Simon Thompson (professor)

Simon Thompson is a research computer scientist, author, and an emeritus professor of the University of Kent, specializing in logic and computation. His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang, Haskell, and OCaml. He is the author of books on data type theory, Miranda, Haskell, and Erlang, and runs a massive open online course about Erlang for FutureLearn.

Education
Thompson earned a Doctor of Philosophy (D.Phil.) from the University of Oxford in 1984 with a dissertation titled "Recursion theories on the continuous functionals". Thompson's doctoral adviser was Robin Oliver Gandy.

Work
, he worked for Input Output Global, Input Output Hong Kong on domain-specific languages for the Cardano blockchain platform. There, he developed a specialised smart contract language, Marlowe, designed for non-programmers working in the financial sector.

Books
His books include:
 * Quotes, Francesco Cesarini, founder: Erlang Solutions Ltd.
 * Quotes, Francesco Cesarini, founder: Erlang Solutions Ltd.
 * Quotes, Francesco Cesarini, founder: Erlang Solutions Ltd.
 * Quotes, Francesco Cesarini, founder: Erlang Solutions Ltd.