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.
- How to write a great research paper
- How to give a great research talk
- How to write a great grant proposal
Useful information and links
- Muffy Calder’s oration at my 2013 honorary DSc ceremony
- The Computing at School Working Group
- The Glasgow Haskell Compiler
- The C– project
- My Win32 cheat sheet
- Here are translations of my page into Belarussian (thanks to Vicky Rotarova), and Polish (Abdul Sattar)
- My GPG key fingerprint is: CABA 2C32 0D13 B715 8611 0390 6B2B 1815 5F25 C538
- There is a Wiki talk page on which you are most welcome to discuss or offer constructive feedback on any of my papers
- The International Conference on Functional Programming
- The Revised Haskell 98 Report, at last completed
- The main Haskell home page
- The Glasgow Haskell Compiler
- Johan Tibell’s State of Haskell 2010 questionnaire results
- John Hughes’s links to tutorials on functional programming
- A History of Haskell: being lazy with class.
- Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell.
- Type classes: exploring the design space
- Wearing the hair shirt: a retrospective on Haskell. Slides of my invited talk at POPL’03
- A taste of Haskell. Video and slides from my tutorial on Haskell at the O’Reilly Open Source Convention in Portland, 2007
- The main Haskell mailing list
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.
Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming SystemsAlan Blackwell, Margaret Burnett, Simon Peyton Jones, March 1, 2004,
Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in HaskellSimon Peyton Jones, IOS Press, January 1, 2001,
December 17, 2015
Microsoft Research Cambridge
July 16, 2014
July 16, 2014
July 22, 2013
Microsoft Research, Cambridge England
A collection of pictures of me, at various resolutions. There is also, for amusement, picture of me having fun, taken by John Peterson.
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.