Simon Peyton Jones

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 50.53.1.33 (talk) at 22:32, 17 October 2016 (DBLP). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Simon Peyton Jones
Simon Peyton Jones
Born (1958-01-18) 18 January 1958 (age 66)
South Africa
CitizenshipBritish
Alma materTrinity College, Cambridge
Known forGlasgow Haskell Compiler, C--
Awards
Scientific career
Fields
Institutions
Doctoral students
  • Maximilian Bolingbroke[3]
  • Andrew Gill[4]
  • Sigbjorn Finne[5]
  • László Németh[6]
  • Paul Roe[7]
Websiteresearch.microsoft.com/~simonpj

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

Education

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

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

He is a major contributor to the design of the Haskell programming language,[26] and a lead developer of the Glasgow Haskell Compiler (GHC).[27] 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.[28][29][30]

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

In 2004 he was inducted as a Fellow of the Association for Computing Machinery for contributions to functional programming languages.[32] 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.[33]

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

He was elected a Fellow of the Royal Society (FRS) in 2016.[8]

References

  1. ^ a b Simon Peyton Jones publications indexed by Google Scholar
  2. ^ a b Computing At School: About us
  3. ^ Bolingbroke, Maximilian C. (2013). Call-by-need supercompilation (PDF) (PhD thesis). University of Cambridge.
  4. ^ Gill, Andrew John (1996). Cheap deforestation for non-strict functional languages (PhD thesis). University of Glasgow.
  5. ^ Finne, Sigbjorn (1988). Composing graphical user interfaces in a purely functional language (PhD thesis). University of Glasgow.
  6. ^ Németh, László (2000). Catamorphism-based program transformations for non-strict functional languages (PhD thesis). University of Glasgow.
  7. ^ Roe, Paul (1991). Parallel programming using functional languages (PhD thesis). University of Glasgow.
  8. ^ a b "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.” --Template:Wayback
  9. ^ Simon L. Peyton Jones at DBLP Bibliography Server Edit this at Wikidata
  10. ^ Simon Peyton Jones publications indexed by Microsoft Academic
  11. ^ Computerworld Interview with Simon Peyton Jones
  12. ^ Simon Peyton Jones author profile page at the ACM Digital Library
  13. ^ Simon Peyton Jones's publications indexed by the Scopus bibliographic database. (subscription required)
  14. ^ 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.
  15. ^ 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.
  16. ^ 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.
  17. ^ "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.
  18. ^ 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.
  19. ^ Simon Peyton Jones - Haskell is useless on YouTube
  20. ^ Prof Simon Peyton-Jones
  21. ^ "Simon Peyton Jones at Microsoft Research". Microsoft Research. Retrieved 11 September 2016.
  22. ^ a b c d Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Retrieved 6 April 2011.
  23. ^ Peter Siebel (2009) Coders at Work: Reflections on the Craft of Programming ISBN 1430219483
  24. ^ Bresnick, Julie (3 July 2001). "GHC developer Simon Peyton Jones on working for, gasp!, Microsoft". Linux.com.
  25. ^ Peyton Jones, Simon (18 January 2008). "Ancient, but still having fun". haskel@haskel,org.
  26. ^ Peyton Jones, Simon, ed. (December 2002). "Haskell 98 Language and Libraries - The Revised Report". haskell.org.
  27. ^ "The GHC Team". 22 June 2006.
  28. ^ "Native Code Generator (NCG)". The Glasgow Haskell Compiler. Haskell.org. 17 September 2007. Retrieved 24 November 2009.
  29. ^ Peyton Jones, Simon (1987). The Implementation of Functional Programming Languages. Prentice-Hall. ISBN 0-13-453333-X.
  30. ^ Peyton Jones, Simon; Lester, David R. (August 1992). Implementing Functional Languages. Prentice-Hall. ISBN 0-13-721952-0.
  31. ^ Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet. Church House Publishing. 1999. ISBN 978-0-7151-6586-7.
  32. ^ "Prof Simon L Peyton-Jones - Award Winner". Association for Computing Machinery.
  33. ^ "SIGPLAN Programming Languages Software Award". Galois, Inc. 7 June 2011.
  34. ^ "Honorary Doctorate for Simon Peyton Jones". University of Glasgow. Retrieved 20 July 2014.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Simon_Peyton_Jones&oldid=744866983"