Simon Peyton Jones

British computer scientist (born 1958)

This British surname is barrelled, being made up of multiple names. The subject's surname should be written as "Peyton Jones", not Jones.

Simon Peyton Jones

OBE FRS MAE DFBCS

Peyton Jones in 2016

Born|  (1958-01-18) 18 January 1958 (age 66)

South Africa

Citizenship| British
Alma mater| University of Cambridge
Known for| Glasgow Haskell Compiler
C--
Awards| ACM Fellow (2004)[1]
Scientific career
Fields|

* Programming languages
* Functional programming[2]

Institutions|

* Epic Games
* University College London
* University of Glasgow
* University of Cambridge
* Microsoft Research
* Computing At School[3]

Website| simon.peytonjones.org

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]

## Education[edit]

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[edit]

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[edit]

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]

## References[edit]

1. ^ a b "Prof Simon L Peyton-Jones - Award Winner". awards.acm.org. Association for Computing Machinery.
2. ^ a b Simon Peyton Jones publications indexed by Google Scholar
3. ^ a b "Computing At School: About us". computingatschool.org.uk.
4. ^ a b 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. ^ a b 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
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. ^ a b 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.

* v
* t
* e

Haskell programming

Software|

| Implementations
(features)|

* Generic Haskell°
* Glasgow Haskell Compiler°
* Template Haskell°
* Gofer° → Hugs°
* Pugs°
* York Haskell Compiler° (Yhc)

Dialects|

* Agda°
* Concurrent Haskell°
* Cryptol°
* Curry°
* Elm°
* Hume°
* Idris°
* Ωmega°
* Orwell°
* TidalCycles°
* Ur°

Electronic design|

* Atom°
* Bluespec SystemVerilog (BSV)

Libraries|

* Haskell Platform°
* Parsec°
* QuickCheck°

Package managers|

* Cabal°
* Stack°

Windowing systems|

* Fudgets
* wxHaskell°
* xmonad°

Web frameworks|

* Servant°
* Snap°
* Yesod°

* Cardano°
* Darcs°
* Ganeti°
* git-annex°
* Haddock°
* HaXml°
* House°
* Liquid Haskell°
* LOLITA
* Pandoc°
* Paradox°
* SQream DB

Community|

| Eponym|

* Haskell Curry

|

* Arvind
* Lennart Augustsson
* Richard Bird
* Jeremy Gibbons
* Andrew D. Gordon
* Paul Hudak
* John Hughes
* John Launchbury
* John MacFarlane
* Simon Marlow
* Conor McBride
* Erik Meijer
* Simon Peyton Jones
* David Roundy
* Simon Thompson
* Philip Wadler

* Italics = discontinued
* ° = Open-source software
Book Category:Family Category:Software

* v
* t
* e

Fellows of the Royal Society elected in 2016

Fellows|

* Chris Abell
* Jas Pal Badyal
* Steven Balbus
* Polina Bayvel
* Graham Bell
* Martin Bridson
* John Burrows
* Katharine Cashman
* Sarah Cleaveland
* James Collier
* Alastair Compston
* Brian Cox
* Jack Cuzick
* Bill David
* Christl Donnelly
* Marcus du Sautoy
* Jim Dunlop
* Artur Ekert
* Maria Fitzgerald
* Antony Galione
* Pratibha Gai
* Harry Gilbert
* Patrick Gill
* Anne Glover
* Neil Gow
* Ian Graham
* Richard Harvey
* Adrian Hayday
* Ramanujan Hegde
* David Hight
* Sue Ion
* Eugenia Kumacheva
* Corinne Le Quéré
* Mark Lemmon
* David Lodge
* Eleanor Maguire
* Lakshminarayanan Mahadevan
* Gil McVean
* Russell Morris
* Luke O'Neill
* Simon Peyton Jones
* Jonathon Pines
* Jim Prosser
* Sriram Ramaswamy
* Caroline Series
* Ted Shepherd
* Alison Smith
* David Wales
* Philip Withers
* Paul Workman

Honorary|

* Adair Turner

Foreign|

* Robert Cava
* Vint Cerf
* Mark Davis
* Jennifer Doudna
* Gerd Faltings
* John Hayes
* Svante Pääbo
* Pasko Rakic
* Rino Rappuoli
* Ellen Williams

Authority control databases

International|

* ISNI
* VIAF
* WorldCat

National|

* Norway
* France
* BnF data
* Germany
* Israel
* United States
* Sweden
* Latvia
* Czech Republic
* Netherlands

Academics|

* Association for Computing Machinery
* CiNii
* DBLP
* Google Scholar
* Mathematics Genealogy Project
* ORCID
* Scopus
* zbMATH

Other|

* IdRef

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template