Simon Peyton Jones

Last updated

Simon Peyton Jones

OBE FRS MAE DFBCS
Professor Simon Peyton Jones FRS (cropped).jpg
Peyton Jones in 2016
Born (1958-01-18) 18 January 1958 (age 65)
South Africa
Citizenship British
Alma mater University of Cambridge
Known for Glasgow Haskell Compiler
C--
Awards ACM Fellow (2004) [1]
Scientific career
Fields
Institutions
Website simon.peytonjones.org OOjs UI icon edit-ltr-progressive.svg

Simon Peyton Jones OBE FRS MAE DFBCS [4] [5] (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. [2] [6]

Contents

Education

Peyton Jones graduated from the University of Cambridge with a Bachelor of Science degree [7] in Electrical Sciences in 1979. During this time he was an undergraduate student of Trinity College, Cambridge, and subsequently went on to complete the Cambridge Diploma in Computer Science in 1980. He never did a PhD. [8] [9]

Career and research

Peyton Jones worked in industry for two years before serving as a lecturer at University College London and, from 1990 to 1998, as a professor at the University of Glasgow. [10] From 1998 to 2021 he worked as a researcher at Microsoft Research in Cambridge, England. [10] [11] [12] Since 2021 he has worked at Epic Games as an engineering fellow. [13]

He is a major contributor to the design of the Haskell programming language, [14] and a lead developer of the Glasgow Haskell Compiler (GHC). [15] He is also co-creator of the C-- programming language, designed for intermediate program representation between the language-specific front-end of a compiler and a general-purpose back-end code generator and optimiser. C-- is used in GHC. [16] [17] [18]

He was also a major contributor to the 1999 book Cybernauts Awake, [19] which explored the ethical and spiritual implications of the Internet.

Peyton Jones chairs the Computing At School (CAS) group, [3] an organisation which aims to promote the teaching of computer science at school. Following these efforts, in 2019 he was appointed chair of the newly founded UK National Centre for Computing Education. [20]

Peyton Jones has played a vital role in the development of new Microsoft Excel features since 2003, when he published a paper on user-defined functions. [21] In 2021, anonymous functions and let expressions were made available in the Office 365 version of Excel as a beta feature. [22]

Honours and awards

In 2004 he was inducted as a Fellow of the Association for Computing Machinery for contributions to functional programming languages. [1] In 2011 he was awarded membership in the Academia Europaea (MAE). [23]

In 2011, he and Simon Marlow were awarded the SIGPLAN Programming Languages Software Award for their work on GHC. [24]

He received an honorary doctorate from the University of Glasgow in 2013 [25] and an honorary doctorate from the University of Kent in 2017. [26]

He was elected a Fellow of the Royal Society (FRS) in 2016 [4] and a Distinguished Fellow of the British Computer Society (DFBCS) in 2017. [27]

Peyton Jones was appointed Officer of the Order of the British Empire (OBE) in the 2022 Birthday Honours for services to education and computer science. [28] [5] He also became a Distinguished Affiliate Scholar at Pembroke College Cambridge [29] and a Distinguished Honorary Fellow at the University of Cambridge Computer Laboratory. [30]

Related Research Articles

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

Template Haskell is an experimental language extension to the Haskell programming language implemented in the Glasgow Haskell Compiler. In early incarnations it was also known as Template Meta-Haskell.

<span class="mw-page-title-main">British Computer Society</span> British professional body in IT

The British Computer Society (BCS), branded BCS, The Chartered Institute for IT, since 2009, is a professional body and a learned society that represents those working in information technology (IT), computing, software engineering and computer science, both in the United Kingdom and internationally. Founded in 1957, BCS has played an important role in educating and nurturing IT professionals, computer scientists, software engineers, computer engineers, upholding the profession, accrediting chartered IT professional status, and creating a global community active in promoting and furthering the field and practice of computing.

The Glasgow Haskell Compiler (GHC) is a native or machine code compiler for the functional programming language Haskell. It provides a cross-platform software environment for writing and testing Haskell code and supports many extensions, libraries, and optimisations that streamline the process of generating and executing code. GHC is the most commonly used Haskell compiler. It is free and open-source software released under a BSD license. The lead developers are Simon Peyton Jones and Simon Marlow.

<span class="mw-page-title-main">Hermann Hauser</span> Austrian-born entrepreneur

Hermann Maria Hauser, KBE, FRS, FREng, FInstP, CPhys is an Austrian entrepreneur, venture capitalist and inventor who is primarily associated with the Cambridge technology community in England.

<span class="mw-page-title-main">Samson Abramsky</span> British computer scientist

Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

C-- is a C-like programming language, designed to be generated mainly by compilers for high-level languages rather than written by human programmers. It was created by functional programming researchers Simon Peyton Jones and Norman Ramsey. Unlike many other intermediate languages, it is represented in plain ASCII text, not bytecode or another binary format.

<span class="mw-page-title-main">Philip Wadler</span> American computer scientist

Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.

In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.

<span class="mw-page-title-main">Richard Bird (computer scientist)</span> English computer scientist (1943–2022)

Richard Simpson Bird was an English computer scientist.

Bluespec, Inc. is an American semiconductor tool design company co-founded by Massachusetts Institute of Technology (MIT) professor Arvind in June 2003 and based in Framingham, Massachusetts. Arvind had formerly founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet (10GE) routers, for this task. Bluespec has two product lines which are primarily for application-specific integrated circuit (ASIC) and field-programmable gate array (FPGA) hardware designers and architects. Bluespec supplies high-level synthesis with register-transfer level (RTL). The first Bluespec workshop was held on August 13, 2007, at MIT.

In functional programming, a generalized algebraic data type is a generalization of parametric algebraic data types.

In the theory of programming languages in computer science, deforestation is a program transformation to eliminate intermediate lists or tree structures that are created and then immediately consumed by a program.

Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to dataflow and multithread computing and the development of tools for the high-level synthesis of digital electronics hardware.

Haskell is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic input/output (IO). It is named after logician Haskell Curry. Haskell's main implementation is the Glasgow Haskell Compiler (GHC).

Simon Marlow is a British computer scientist, programmer, author, and co-developer of the Glasgow Haskell Compiler (GHC) for the programming language Haskell. He and Simon Peyton Jones won the SIGPLAN Programming Languages Software Award in 2011 for their work on GHC. Marlow's book Parallel and Concurrent Programming in Haskell was published in July 2013.

<span class="mw-page-title-main">John Launchbury</span> American and British computer scientist

John Launchbury is an American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of DARPA’s technical offices, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. He is known for research and entrepreneurship in the implementation and application of functional programming languages. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery.

The Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a £5000 prize is presented to an individual for making "a distinguished research contribution in computer science by a UK-based researcher within ten years of their PhD." The award is funded by Microsoft Research. The winner of the prize has an opportunity to give a public lecture.

<span class="mw-page-title-main">National Centre for Computing Education</span> Educational organisation based in England

The National Centre for Computing Education is a government-funded initiative, offering teacher training and resources for computing.

References

  1. 1 2 "Prof Simon L Peyton-Jones - Award Winner". awards.acm.org. Association for Computing Machinery.
  2. 1 2 Simon Peyton Jones publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  3. 1 2 "Computing At School: About us". computingatschool.org.uk.
  4. 1 2 Anon (2016). "Professor Simon Peyton Jones FRS". London: Royal Society. Archived from the original on 29 April 2016. One or more of the preceding sentences incorporates text from the royalsociety.org website where:
    “All text published under the heading 'Biography' on Fellow profile pages is available under Creative Commons Attribution 4.0 International License.” -- "Royal Society Terms, conditions and policies". Archived from the original on 25 September 2015. Retrieved 9 March 2016.
  5. 1 2 BCS (2022). "Computer Scientist and Educationalist, Prof Simon Peyton Jones to receive OBE". BCS, The Chartered Institute for IT.
  6. ↑ Simon Peyton Jones at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  7. ↑ "Simon Peyton Jones". archivesit.org.uk. Retrieved 10 December 2022.
  8. ↑ Seibel, Peter (2009). Coders at Work: Reflections on the Craft of Programming. Apress. ISBN   978-1-4302-1948-4 . Retrieved 10 December 2022.
  9. ↑ Yang, Jean. "Interview with Simon Peyton-Jones". People of Programming Languages. Retrieved 10 December 2022.
  10. 1 2 Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Archived from the original on 24 May 2016. Retrieved 6 April 2011.
  11. ↑ Bresnick, Julie (3 July 2001). "GHC developer Simon Peyton Jones on working for, gasp!, Microsoft". linux.com. Archived from the original on 9 January 2020.
  12. ↑ Peyton Jones, Simon (18 January 2008). "Ancient, but still having fun". haskel@haskel,org.
  13. ↑ "An Epic future for SPJ". discourse.haskell.org. 5 November 2021.
  14. ↑ Peyton Jones, Simon, ed. (December 2002). "Haskell 98 Language and Libraries - The Revised Report". haskell.org.
  15. ↑ "The GHC Team". 22 June 2006.
  16. ↑ "Native Code Generator (NCG)". The Glasgow Haskell Compiler . Haskell.org. 17 September 2007. Retrieved 4 April 2019.
  17. ↑ Peyton Jones, Simon (1987). The Implementation of Functional Programming Languages . Prentice-Hall. ISBN   0-13-453333-X.
  18. ↑ Peyton Jones, Simon; Lester, David R. (August 1992). Implementing Functional Languages. Prentice-Hall. ISBN   0-13-721952-0.
  19. ↑ Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet. Church House Publishing. 1999. ISBN   978-0-7151-6586-7.
  20. ↑ "Top computer scientist chosen to lead National Centre for Computing Education". UK Department for Education. Retrieved 20 March 2019.
  21. ↑ "Innovation by (and beyond) the numbers: A history of research collaborations in Excel". Microsoft . 13 April 2021.
  22. ↑ "Advancing Excel as a programming language with Andy Gordon and Simon Peyton Jones". microsoft.com. Microsoft. 5 May 2021.
  23. ↑ "Simon Peyton Jones at the Academia Europaea". ae-info.org.
  24. ↑ "SIGPLAN Programming Languages Software Award". Galois, Inc. 7 June 2011. Archived from the original on 10 June 2011.
  25. ↑ "Honorary Doctorate for Simon Peyton Jones". University of Glasgow. Retrieved 20 July 2014.
  26. ↑ "Professor Simon Peyton Jones, MA, FACM, FBCS, CEng". University of Kent. Retrieved 14 February 2019.
  27. ↑ "Roll of Distinguished Fellows of the BCS". British Computer Society. 2023.
  28. ↑ "No. 63714". The London Gazette (Supplement). 1 June 2022. p. B14.
  29. ↑ "Simon Peyton Jones FRS". Pembroke College Cambridge. January 2022.
  30. ↑ "Distinguished Honorary Fellows". Cambridge Computer Laboratory. 2022.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.