Simon Peyton Jones

Simon Peyton Jones

Simon Peyton Jones
Born (1958-01-18) 18 January 1958
South Africa
Citizenship British
Fields
Institutions
Alma mater Trinity College, Cambridge
Doctoral students
  • Maximilian Bolingbroke[3]
  • Andrew Gill[4]
  • Sigbjorn Finne[5]
  • László Németh[6]
  • Paul Roe[7]
Known for Glasgow Haskell Compiler, C--
Notable awards
Website
research.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][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. 1 2 Simon Peyton Jones's publications indexed by Google Scholar
  2. 1 2 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. 1 2 "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 at the Wayback Machine (archived 25 September 2015)
  9. ↑ Simon L. Peyton Jones at DBLP Bibliography Server
  10. ↑ List of publications from Microsoft Academic Search
  11. ↑ Computerworld Interview with Simon Peyton Jones
  12. ↑ Simon Peyton Jones from the ACM Digital Library
  13. ↑ Simon Peyton Jones's publications indexed by the Scopus bibliographic database, a service provided by Elsevier. (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 2016-09-11.
  22. 1 2 3 Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Retrieved 2011-04-06.
  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.
This article is issued from Wikipedia - version of the 11/28/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.