Simon Peyton Jones

From Wikipedia, the free encyclopedia
  (Redirected from Simon Peyton-Jones)
Jump to: navigation, search
Simon Peyton Jones
Professor Simon Peyton Jones FRS.jpg
Simon Peyton Jones at the Royal Society admissions day in London in 2016
Born (1958-01-18) 18 January 1958 (age 60)
South Africa
Citizenship British
Alma mater Trinity College, Cambridge
Known for Glasgow Haskell Compiler, C--
Awards
Website research.microsoft.com/~simonpj
Scientific career
Fields
Institutions

Simon Peyton Jones FRS[3] (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming.[1][4][5][6][7][8][9][10][11][12][13][14] He is an honorary Professor of Computer Science at the University of Glasgow[15] and co-supervises PhD students at the University of Cambridge.[16]

Education[edit]

Simon Peyton Jones

Peyton Jones graduated from Trinity College, Cambridge in 1980[17] and went on to complete the Cambridge Diploma in Computer Science.[18]

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.[17] Since 1998 he has worked as a researcher at Microsoft Research in Cambridge, England.[17][19][20]

He is a major contributor to the design of the Haskell programming language,[21] and a lead developer of the Glasgow Haskell Compiler (GHC).[22] 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.[23][24][25]

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

Peyton Jones chairs the Computing At School (CAS) group,[2] an organisation which aims to promote the teaching of computer science at school.

Awards and honours[edit]

In 2004 he was inducted as a Fellow of the Association for Computing Machinery for contributions to functional programming languages.[27] In 2011 he received membership in the Academia Europaea.

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

In 2013, he received an honorary doctorate from the University of Glasgow.[29]

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

References[edit]

  1. ^ a b Simon Peyton Jones publications indexed by Google Scholar
  2. ^ a b Computing At School: About us
  3. ^ a b Anon (2016). "Professor Simon Peyton Jones FRS". London: Royal Society. Archived from the original on 2016-04-29.  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. 

  4. ^ Simon L. Peyton Jones at DBLP Bibliography Server
  5. ^ List of publications from Microsoft Academic Search
  6. ^ Computerworld Interview with Simon Peyton Jones
  7. ^ Simon Peyton Jones author profile page at the ACM Digital Library
  8. ^ Simon Peyton Jones's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (subscription required)
  9. ^ Harris, T.; Marlow, S.; Peyton-Jones, S.; Herlihy, M. (2005). "Composable memory transactions". Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 (PDF). p. 48. doi:10.1145/1065944.1065952. ISBN 1595930809. 
  10. ^ Gill, A.; Launchbury, J.; Peyton Jones, S. L. (1993). "A short cut to deforestation". Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93. p. 223. doi:10.1145/165180.165214. ISBN 089791595X. 
  11. ^ Peyton Jones, S. L.; Wadler, P. (1993). "Imperative functional programming". Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. p. 71. doi:10.1145/158511.158524. ISBN 0897915607. 
  12. ^ "A Taste of Haskell I"; "A Taste of Haskell II" This is a two-part video of a talk in which Peyton Jones explains Haskell to (non-functional) programmers, given at the OSCON 2007 conference. See also the slides projected during the presentation. Links to other expository videos of Peyton Jones can be found on the Haskell wiki video page.
  13. ^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, M. A. M.; Hammond, K.; Hughes, J. (1992). "Report on the programming language Haskell". ACM SIGPLAN Notices. 27 (5): 1. doi:10.1145/130697.130699. 
  14. ^ Simon Peyton Jones - Haskell is useless on YouTube
  15. ^ Prof Simon Peyton-Jones
  16. ^ "Simon Peyton Jones at Microsoft Research". Microsoft Research. Retrieved 2016-09-11. 
  17. ^ a b c Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Retrieved 2011-04-06. 
  18. ^ Peter Siebel (2009) Coders at Work: Reflections on the Craft of Programming ISBN 1430219483
  19. ^ Bresnick, Julie (3 July 2001). "GHC developer Simon Peyton Jones on working for, gasp!, Microsoft". Linux.com. 
  20. ^ Peyton Jones, Simon (18 January 2008). "Ancient, but still having fun". haskel@haskel,org. 
  21. ^ Peyton Jones, Simon, ed. (December 2002). "Haskell 98 Language and Libraries - The Revised Report". haskell.org. 
  22. ^ "The GHC Team". 22 June 2006. 
  23. ^ "Native Code Generator (NCG)". The Glasgow Haskell Compiler. Haskell.org. 17 September 2007. Retrieved 24 November 2009. 
  24. ^ Peyton Jones, Simon (1987). The Implementation of Functional Programming Languages. Prentice-Hall. ISBN 0-13-453333-X. 
  25. ^ Peyton Jones, Simon; Lester, David R. (August 1992). Implementing Functional Languages. Prentice-Hall. ISBN 0-13-721952-0. 
  26. ^ Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet. Church House Publishing. 1999. ISBN 978-0-7151-6586-7. 
  27. ^ "Prof Simon L Peyton-Jones - Award Winner". Association for Computing Machinery. 
  28. ^ "SIGPLAN Programming Languages Software Award". Galois, Inc. 7 June 2011. 
  29. ^ "Honorary Doctorate for Simon Peyton Jones". University of Glasgow. Retrieved 20 July 2014.