Portrait of Simon Peyton Jones

Simon Peyton Jones

Principal Researcher

About

I’m a researcher at Microsoft Research in Cambridge, England. I started here in Sept 1998. I’m also an Honorary Professor of the Computing Science Department at Glasgow University, where I was a professor during 1990-1998.

I am married to Dorothy, a priest in the Church of England. We have six children (three adopted).

I’m interested in the design, implementation, and application of lazy functional languages. In practical terms, that means I spend a most of my time on the design and implementation of the language Haskell. In particular, much of my work is focused around the Glasgow Haskell Compiler, and its ramifications.

I am chair of Computing at School, the group at the epicentre of the reform of the national curriculum for Computing in England.   Computer science is now a foundational subject, alongside maths and natural science, that every child learns from primary school onwards (background here).

I am a Fellow of the Royal Society, of the ACM, and of BCS.

Research skills

Useful information and links

Haskell stuff

Social networks
I use LinkedIn for professional networking, but I restrict my connections to people who I know personally, or with whom I have had some meaningful two-way professional interaction; that is, not simply people with whom I share a professional interest.

I use Facebook for non-work networking, but only for people who my family knows too.

I do have a Twitter account, for some reason, but I have yet to find something significant enough to say that it’s worth tweeting.

In all three cases my actual use is minimal, so don’t hold your breath.

Publications

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

Report on the Programming Language Haskell 98
SL Peyton Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, K Hammond, R Hinze, P Hudak, T Johnsson, MP Jones, J Launchbury, E Meijer, J Peterson, A Reid, C Runciman, PL Wadler, Richard Hughes, Simon Peyton Jones, February 1, 1999, View abstract

1998

1997

1996

Concurrent Haskell
Simon Peyton Jones, Andy Gordon, Sigbjorn Finne, in POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM Press, January 21, 1996, View abstract, Download PDF

1995

1994

Type classes in Haskell
K Hammond, SL Peyton Jones, PL Wadler, CV Hall, Simon Peyton Jones, in ACM Transactions on Programming Languages and Systems, European Symposium on Programming (ESOP'94), Springer Verlag LNCS 788, April 1, 1994, View abstract, Download PDF

1993

1992

Avoiding Unnecessary Updates
J Launchbury, A Gill, RJM Hughes, S Marlow, SL Peyton Jones, PL Wadler, Simon Peyton Jones, Richard Hughes, Simon Marlow, in Functional Programming, Glasgow 1992, Springer, January 1, 1992, View abstract

1991

1990

1989

1988

1987

1986

1985

1984

1982

1981

Projects

Other

A collection of pictures of me, at various resolutions. There is also, for amusement, picture of me having fun, taken by John Peterson.

 

Biography

A brief biography, suitable for seminar announcements and suchlike

Simon Peyton Jones, MA, FACM, FBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research (Cambridge) in 1998.

Simon’s main research interest is in functional programming languages, their implementation, and their application. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages.

More generally, Simon is interested in language design, rich type systems, compiler technology, code generation, runtime systems, virtual machines, and garbage collection. He is particularly motivated by direct use of principled theory to practical language design and implementation — that is one reason he loves functional programming so much.

Simon is also chair of Computing at School, the grass-roots organisation that was at the epicentre of the 2014 reform of the English computing curriculum.