Simon Peyton Jones

Last updated

Simon Peyton Jones
Professor Simon Peyton Jones FRS (cropped).jpg
Peyton Jones in 2016
Born (1958-01-18) 18 January 1958 (age 66)
Simon's Town, Cape Town, South Africa
Citizenship British
Alma mater University of Cambridge (BSc, Dipl.)
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 (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. [2] [4]

Contents

Education

Peyton Jones graduated from the University of Cambridge with a Bachelor of Science degree [5] 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. [6] [7]

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. [8] From 1998 to 2021 he worked as a researcher at Microsoft Research in Cambridge, England. [8] [9] [10] Since 2021 he has worked at Epic Games as an engineering fellow. [11]

He is a major contributor to the design of the Haskell programming language, [12] and a lead developer of the Glasgow Haskell Compiler (GHC). [13] 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. [14] [15] [16]

He was also a major contributor to the 1999 book Cybernauts Awake, [17] 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. [18]

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. [19] In 2021, anonymous functions and let expressions were made available in the Office 365 version of Excel as a beta feature. [20]

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). [21]

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

He received an honorary doctorate from the University of Glasgow in 2013 [23] and honorary doctorates from the University of Kent and University of Bath in 2017. [24]

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

He received the ACM SIGPLAN Programming Languages Achievement Award in 2016.

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. [27] [28] 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, also known as Tony Hoare or by his initials C. A. R. 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.

Andrew D. Gordon is a British computer scientist previously employed by Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control.

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, computer 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 (CITP) and Chartered Engineer (CEng) 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.

SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.

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.

In computer science, software transactional memory (STM) is a concurrency control mechanism analogous to database transactions for controlling access to shared memory in concurrent computing. It is an alternative to lock-based synchronization. STM is a strategy implemented in software, rather than as a hardware component. A transaction in this context occurs when a piece of code executes a series of reads and writes to shared memory. These reads and writes logically occur at a single instant in time; intermediate states are not visible to other (successful) transactions. The idea of providing hardware support for transactions originated in a 1986 paper by Tom Knight. The idea was popularized by Maurice Herlihy and J. Eliot B. Moss. In 1995, Nir Shavit and Dan Touitou extended this idea to software-only transactional memory (STM). Since 2005, STM has been the focus of intense research and support for practical implementations is growing.

<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 holds the position of Personal 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.

Bluespec, Inc. is an American semiconductor device electronic design automation company based in Framingham, Massachusetts, and co-founded in June 2003 by computer scientists Arvind Mithal, professor of the Massachusetts Institute of Technology (MIT), and Joe Stoy of Oxford University. Arvind had formerly founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet (10GE) routers, for this task.

In functional programming, a generalized algebraic data type is a generalization of a parametric algebraic data type (ADT).

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 Mithal, known mononymously as Arvind, was an Indian computer scientist, 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 was 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 several 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).

<span class="mw-page-title-main">Paul Hudak</span> American computer scientist

Paul Raymond Hudak was an American musician and professor of computer science at Yale University who was best known for his involvement in the design of the programming language Haskell, and for several textbooks on Haskell and computer music. He was a chair of the department, and was also master of Saybrook College. He died on April 29, 2015, of leukemia.

In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of valid instances of input types and the corresponding output types.

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.

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. Simon Peyton Jones at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  5. "Simon Peyton Jones". archivesit.org.uk. Retrieved 10 December 2022.
  6. Seibel, Peter (2009). Coders at Work: Reflections on the Craft of Programming. Apress. ISBN   978-1-4302-1948-4 . Retrieved 10 December 2022.
  7. Yang, Jean. "Interview with Simon Peyton-Jones". People of Programming Languages. Retrieved 10 December 2022.
  8. 1 2 Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Archived from the original on 24 May 2016. Retrieved 6 April 2011.
  9. 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.
  10. Peyton Jones, Simon (18 January 2008). "Ancient, but still having fun". haskel@haskel.org.
  11. "An Epic future for SPJ". discourse.haskell.org. 5 November 2021.
  12. Peyton Jones, Simon, ed. (December 2002). "Haskell 98 Language and Libraries - The Revised Report". haskell.org.
  13. "The GHC Team". 22 June 2006.
  14. "Native Code Generator (NCG)". The Glasgow Haskell Compiler . Haskell.org. 17 September 2007. Retrieved 4 April 2019.
  15. Peyton Jones, Simon (1987). The Implementation of Functional Programming Languages . Prentice-Hall. ISBN   0-13-453333-X.
  16. Peyton Jones, Simon; Lester, David R. (August 1992). Implementing Functional Languages. Prentice-Hall. ISBN   0-13-721952-0.
  17. Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet. Church House Publishing. 1999. ISBN   978-0-7151-6586-7.
  18. "Top computer scientist chosen to lead National Centre for Computing Education". UK Department for Education. Retrieved 20 March 2019.
  19. "Innovation by (and beyond) the numbers: A history of research collaborations in Excel". Microsoft . 13 April 2021.
  20. "Advancing Excel as a programming language with Andy Gordon and Simon Peyton Jones". microsoft.com. Microsoft. 5 May 2021.
  21. "Simon Peyton Jones at the Academia Europaea". ae-info.org.
  22. "SIGPLAN Programming Languages Software Award". Galois, Inc. 7 June 2011. Archived from the original on 10 June 2011.
  23. "Honorary Doctorate for Simon Peyton Jones". University of Glasgow. Retrieved 20 July 2014.
  24. "Professor Simon Peyton Jones, MA, FACM, FBCS, CEng". University of Kent. Retrieved 14 February 2019.
  25. 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.
  26. "Roll of Distinguished Fellows of the BCS". British Computer Society. 2023.
  27. "No. 63714". The London Gazette (Supplement). 1 June 2022. p. B14.
  28. BCS (2022). "Computer Scientist and Educationalist, Prof Simon Peyton Jones to receive OBE". BCS, The Chartered Institute for IT.
  29. "Simon Peyton Jones FRS". Pembroke College Cambridge. January 2022.
  30. "Distinguished Honorary Fellows". Cambridge Computer Laboratory. 2022.