Biography:Simon Thompson (professor)
From HandWiki
Simon Thompson | |
|---|---|
| Born | |
| Education | D.Phil., University of Oxford, 1984 |
| Known for | Functional programming research, textbooks
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, there 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 (MOOC) about Erlang for FutureLearn.
Education
Thompson earned his Doctor of Philosophy (D.Phil.) from the University of Oxford in 1984 with a dissertation titled "Recursion theories on the continuous functionals"[8] The faculty adviser was Robin Oliver Gandy.[9]
Work
Books
Thompson's 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. https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/.
- Thompson, Simon (21 July 1995). Miranda: The Craft of Functional Programming. International Computer Science Series. Addison-Wesley. ISBN 978-0201422795. https://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/.[10]
- Thompson, Simon (1996–2011). Haskell: The Craft of Functional Programming. International Computer Science Series (3rd ed.). Addison-Wesley, Cambridge University Press. ISBN 978-0201882957. https://www.haskellcraft.com/.[11]
- Cesarini, Francesco; Thompson, Simon (28 July 2009). Erlang Programming: A Concurrent Approach to Software Development. O'Reilly Media. ISBN 978-0596518189. https://www.oreilly.com/library/view/erlang-programming/9780596803940/. Quotes, Francesco Cesarini, founder: Erlang Solutions Ltd.
References
- ↑ Thompson, Simon (20 October 2023). "Professor Simon Thompson". https://www.kent.ac.uk/computing/people/3164/thompson-simon.
- ↑ 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. https://icfp20.sigplan.org/details/erlang-2020-papers/1/Machine-Checked-Natural-Semantics-for-Core-Erlang-Exceptions-and-Side-Effects.
- ↑ Thompson, Simon (May 1997). Higher-order + Polymorphic = Reusable (Report). Canterbury, Kent: School of Computing, University of Kent. https://www.cs.kent.ac.uk/pubs/1997/224/. 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. Proceedings of the 5th workshop on Language Descriptions, Tools and Applications. Canterbury, Kent: School of Computing, University of Kent. pp. 182–196. https://www.cs.kent.ac.uk/pubs/2005/2158/. 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. https://icfp17.sigplan.org/details/ocaml-2017-talks/1/ROTOR-First-Steps-Towards-a-Refactoring-Tool-for-OCaml.
- ↑ 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. https://pldi19.sigplan.org/details/pldi-2019-papers/32/Characterising-Renaming-within-OCaml-s-Module-System-Theory-and-Implementation.
- ↑ Harrison, Joseph; Varoumas, Steven; Thompson, Simon; Rowe, Reuben (28 August 2020). "API migration: compare transformed". International Conference on Functional Programming (ICFP). Online. https://icfp20.sigplan.org/details/ocaml-2020-papers/7/API-migration-compare-transformed.
- ↑ Thompson, Simon (June 1985). "Axiomatic Recursion Theory and the Continuous Functionals". Journal of Symbolic Logic (New York, New York) 50 (2): 442–450. doi:10.2307/2274232. https://www.jstor.org/stable/2274232.
- ↑ "Mathematics Genealogy Project". https://www.mathgenealogy.org/id.php?id=59328.
- ↑ "Miranda: A Non-strict, Polymorphic, Functional Language". 2010. https://www.cs.kent.ac.uk/people/staff/dat/miranda/.
- ↑ Richards, Hamilton (November 1998). "Book reviews". Journal of Functional Programming 8 (6): 633–637. doi:10.1017/S0956796898213220. https://www.cambridge.org/core/services/aop-cambridge-core/content/view/31DDA65AA3AF51BBEEA5B3C4FC66F32A/S095679689800322Xa.pdf/haskell-the-craft-of-functional-programming-by-simon-thompson-addison-wesley-1996-miranda-81-the-craft-of-functional-programming-by-simon-thompson-addison-wesley-1995.pdf.
External links
 |  |
