Simon Thompson (professor)
Appearance move to sidebar hide
 | This article needs to be updated. Please help update this article to reflect recent events or newly available information. (June 2024) |
| Simon Thompson | |
|---|---|
| Born | United Kingdom |
| 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 |
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
As of 2019, 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:
- Thompson, Simon (January 1991 – March 1999). Type Theory and Functional Programming. International Computer Science Series. Addison-Wesley; Computing Laboratory, University of Kent. ISBN 979-8482847145.
- Thompson, Simon (21 July 1995). Miranda: The Craft of Functional Programming. International Computer Science Series. Addison-Wesley. ISBN 978-0201422795.
- Thompson, Simon (1996–2011). Haskell: The Craft of Functional Programming. International Computer Science Series (3rd ed.). Addison-Wesley, Cambridge University Press. ISBN 978-0201882957.
- Cesarini, Francesco; Thompson, Simon (28 July 2009). Erlang Programming: A Concurrent Approach to Software Development. O'Reilly Media. ISBN 978-0596518189. Quotes, Francesco Cesarini, founder: Erlang Solutions Ltd.
References
- ^ Thompson, Simon (20 October 2023). "Professor Simon Thompson". University of Kent: School of Computing. Canterbury, Kent, England.
- ^ Bereczky, Péter; Horpácsi, Dániel; Thompson, Simon (23 August 2020). Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects. International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN.
- ^ Thompson, Simon (May 1997). Higher-order + Polymorphic = Reusable (Report). Canterbury, Kent: School of Computing, University of Kent. Retrieved 30 December 2023.
- ^ Li, Huiqing; Thompson, Simon; Reinke, Claus (April 2005). "The Haskell Refactorer: HaRe, and its API". In Boyland, John Tang; Hedin, Görel (eds.). Proceedings of the 5th workshop on Language Descriptions, Tools and Applications. Canterbury, Kent: School of Computing, University of Kent. pp. 182–196. Retrieved 30 December 2023.
- ^ Rowe, Reuben N. S.; Thompson, Simon (8 September 2017). ROTOR: First Steps Towards a Refactoring Tool for OCaml. International Conference on Functional Programming (ICFP). Phoenix, Arizona – via ACM SIGPLAN.
- ^ 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. Programming Language Design and Implementation (PLDI). Phoenix, Arizona – via ACM SIGPLAN.
- ^ Harrison, Joseph; Varoumas, Steven; Thompson, Simon; Rowe, Reuben (28 August 2020). API migration: compare transformed. International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN.
- ^ Thompson, Simon (June 1985). "Axiomatic Recursion Theory and the Continuous Functionals". Journal of Symbolic Logic. 50 (2). New York, New York: 442–450. doi:10.2307/2274232. JSTOR 2274232. S2CID 26299352 – via JSTOR.
- ^ "Mathematics Genealogy Project". North Dakota State University: Department of Mathematics.
- ^ "IOHK: Team: Prof Simon Thompson: Technical Project Director Research". Input Output. n.d. Archived from the original on 28 November 2022.
- ^ Input Output Hong Kong (11 December 2018). "Marlowe: financial contracts on blockchain". Input Output Hong Kong.
- ^ Lamela Seijas, Pablo; Nemish, Alexander; Smith, David; Thompson, Simon (2020). "Marlowe: Implementing and Analysing Financial Contracts on Blockchain". Financial Cryptography and Data Security. Cham: Springer International Publishing: 496–511. doi:10.1007/978-3-030-54455-3_35. ISBN 978-3-030-54455-3.
- ^ "Miranda: A Non-strict, Polymorphic, Functional Language". 2010.
- ^ Richards, Hamilton (November 1998). "Book reviews" (PDF). Journal of Functional Programming. 8 (6): 633–637. doi:10.1017/S0956796898213220.
External links
| ML programming | |||
|---|---|---|---|
| Software |  | ||
| Community |
| ||
 Book  Category:Family:ML Category:Family:OCaml Category:Software:OCaml | |||
| Haskell programming | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Software |
|  | ||||||||||||||||||||
| Community |
| |||||||||||||||||||||
|
Book Category:Family Category:Software | ||||||||||||||||||||||