Simon Peyton Jones

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.^{[1][8][9][10][11][12][13][14][15][16][17][18]} He is an honorary Professor of Computer Science at the University of Glasgow^[19] and supervises PhD Students at the University of Cambridge.

Education

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

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.^[20] Since 1998 he has worked as a researcher at Microsoft Research in Cambridge, England.^{[20][20][22][23]}

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

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

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

References

1. 1 2 Simon Peyton Jones's publications indexed by Google Scholar, a service provided by Google
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. ↑ Simon Peyton Jones's publications indexed by the DBLP Bibliography Server at the University of Trier
9. ↑ List of publications from Microsoft Academic Search
10. ↑ Computerworld Interview with Simon Peyton Jones
11. ↑ Simon Peyton Jones from the Association for Computing Machinery (ACM) Digital Library
12. ↑ Simon Peyton Jones's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
13. ↑ 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. 
14. ↑ 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. 
15. ↑ 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. 
16. ↑ "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.
17. ↑ 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. 
18. ↑ Simon Peyton Jones - Haskell is useless on YouTube
19. ↑ Prof Simon Peyton-Jones
20. 1 2 3 4 Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Retrieved 2011-04-06. 
21. ↑ Peter Siebel (2009) Coders at Work: Reflections on the Craft of Programming ISBN 1430219483
22. ↑ Bresnick, Julie (3 July 2001). "GHC developer Simon Peyton Jones on working for, gasp!, Microsoft". Linux.com. 
23. ↑ Peyton Jones, Simon (18 January 2008). "Ancient, but still having fun". haskel@haskel,org. 
24. ↑ Peyton Jones, Simon, ed. (December 2002). "Haskell 98 Language and Libraries - The Revised Report". haskell.org. 
25. ↑ "The GHC Team". 22 June 2006. 
26. ↑ "Native Code Generator (NCG)". The Glasgow Haskell Compiler. Haskell.org. 17 September 2007. Retrieved 24 November 2009. 
27. ↑ Peyton Jones, Simon (1987). The Implementation of Functional Programming Languages. Prentice-Hall. ISBN 0-13-453333-X. 
28. ↑ Peyton Jones, Simon; Lester, David R. (August 1992). Implementing Functional Languages. Prentice-Hall. ISBN 0-13-721952-0. 
29. ↑ Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet. Church House Publishing. 1999. ISBN 978-0-7151-6586-7. 
30. ↑ "ACM Fellows". Association for Computing Machinery. 
31. ↑ http://corp.galois.com/blog/2011/6/7/sigplan-programming-languages-software-award.html
32. ↑ "Honorary Doctorate for Simon Peyton Jones". University of Glasgow. Retrieved 20 July 2014.