Simon Thompson (professor) explained

Simon Thompson
Birth Place:United Kingdom
Fields:Computer science
Workplaces:University of Kent
Input Output Global
Education:D.Phil., University of Oxford, 1984
Thesis Title:Recursion theories on the continuous functionals
Thesis Url:https://www.jstor.org/stable/2274232
Thesis Year:1984
Doctoral Advisor:Robin Oliver Gandy
Known For:Functional programming research,
Cardano domain-specific languages: Marlowe
Spouses:-->
Partners:-->

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.

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".[8] Thompson's doctoral adviser was Robin Oliver Gandy.[9]

Work

, 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]

Books

His books include:

Notes and References

  1. Web site: Thompson . Simon . 20 October 2023 . Professor Simon Thompson . University of Kent: School of Computing . Canterbury, Kent, England.
  2. Bereczky . Péter . Horpácsi . Dániel . Thompson . Simon . 23 August 2020 . Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects . Online . International Conference on Functional Programming (ICFP) . ACM SIGPLAN.
  3. Thompson . Simon . May 1997 . Higher-order + Polymorphic = Reusable . . Canterbury, Kent . 30 December 2023.
  4. Book: Li . Huiqing . Thompson . Simon . Reinke . Claus . Boyland . John Tang . Hedin . Görel . April 2005 . Proceedings of the 5th workshop on Language Descriptions, Tools and Applications . The Haskell Refactorer: HaRe, and its API . 182–196 . . Canterbury, Kent . 30 December 2023.
  5. Rowe . Reuben N. S. . Thompson . Simon . 8 September 2017 . ROTOR: First Steps Towards a Refactoring Tool for OCaml . Phoenix, Arizona . International Conference on Functional Programming (ICFP) . ACM SIGPLAN.
  6. Rowe . Reuben N. S. . Férée . Hugo . Thompson . Simon . Owens . Scott . 25 June 2019 . Characterising Renaming within OCaml's Module System: Theory and Implementation . Phoenix, Arizona . Programming Language Design and Implementation (PLDI) . ACM SIGPLAN.
  7. Harrison . Joseph . Varoumas . Steven . Thompson . Simon . Rowe . Reuben . 28 August 2020 . API migration: compare transformed . Online . International Conference on Functional Programming (ICFP) . ACM SIGPLAN.
  8. Thompson . Simon . June 1985 . Axiomatic Recursion Theory and the Continuous Functionals . New York, New York . Journal of Symbolic Logic . 50 . 2 . 442–450 . 10.2307/2274232 . 2274232 . 26299352 . JSTOR.
  9. Web site: Mathematics Genealogy Project . North Dakota State University: Department of Mathematics.
  10. Web site: . n.d. . IOHK: Team: Prof Simon Thompson: Technical Project Director Research . Input Output . dead . https://web.archive.org/web/20221128080023/https://iohk.io/en/team/simon-thompson/ . 28 November 2022.
  11. Web site: Input Output Hong Kong . 11 December 2018 . Marlowe: financial contracts on blockchain . Input Output Hong Kong.
  12. Book: Lamela Seijas . Pablo . Nemish . Alexander . Smith . David . Thompson . Simon . Marlowe: Implementing and Analysing Financial Contracts on Blockchain . Lecture Notes in Computer Science . 2020 . 12063 . Financial Cryptography and Data Security . en . Cham . Springer International Publishing . 496–511 . 10.1007/978-3-030-54455-3_35 . 978-3-030-54455-3. free . Matthew Bernhard. Andrea Bracciali. L. Jean Camp. Shin'ichiro Matsuo. Alana Maurushat . Peter B. Rønne. Massimiliano Sala .
  13. Web site: 2010 . Miranda: A Non-strict, Polymorphic, Functional Language .
  14. Richards . Hamilton . November 1998 . Book reviews . Journal of Functional Programming . 8 . 6 . 633–637 . 10.1017/S0956796898213220 .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Simon Thompson (professor)".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2025, A B Cryer, All Rights Reserved. Cookie policy.