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 co-supervise a number of PhD students at the Cambridge University Computer Lab. If you are interested in doing a PhD at Cambridge in my area, then I am very happy to discuss it with you.

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

View by:

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

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

1991

1989

1988

1987

1986

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.