Loading AI tools
From Wikipedia, the free encyclopedia
Simon Thompson is a research computer scientist, author, and an emeritus professor of the University of Kent, specializing in logic and computation.[1] His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang,[2] Haskell,[3][4] and OCaml.[5][6][7] 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.
This article needs to be updated. (June 2024) |
Simon Thompson | |
---|---|
Born | |
Education | D.Phil., University of Oxford, 1984 |
Known for | Functional programming research,
Cardano domain-specific languages: Marlowe |
Scientific career | |
Fields | Computer science |
Institutions | University of Kent Input Output Global |
Thesis | Recursion theories on the continuous functionals (1984) |
Doctoral advisor | Robin Oliver Gandy |
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".[8] Thompson's doctoral adviser was Robin Oliver Gandy.[9]
As of 2019[update], he worked for Input Output Global, Input Output Hong Kong[10] 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.[11][12]
His books include:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.