Simon Peyton Jones
Simon Peyton Jones (18 gennaio 1958) è un informatico britannico. Il suo campo di ricerca riguarda l'implementazione e le applicazioni dei linguaggi di programmazione funzionale, in particolare la programmazione funzionale pigra.
Formazione scolastica
[modifica | modifica wikitesto]Peyton Jones si è laureato al Trinity College di Cambridge nel 1980 e ha completato il Cambridge Diploma in informatica.
Peyton Jones ha lavorato nell'industria per due anni prima di servire come docente presso l'University College di Londra e, dal 1990 al 1998, come professore all'Università di Glasgow. Dal 1998 ha lavorato come ricercatore presso Microsoft Research a Cambridge, in Inghilterra[1][2][3].
È uno dei principali contributori alla progettazione del linguaggio di programmazione Haskell, e uno sviluppatore principale del Glasgow Haskell Compiler (GHC). È anche co-creatore del linguaggio di programmazione C--, progettato per la rappresentazione di programmi intermedi tra il front-end specifico del linguaggio di un compilatore e un generatore e ottimizzatore di codice back-end generico. C-- è utilizzato in GHC.
È stato anche un importante collaboratore del libro del 1999 Cybernauts Awake[4], il quale esplora le implicazioni etiche e spirituali di Internet.
Peyton Jones presiede il gruppo Computing At School (CAS), un'organizzazione che mira a promuovere l'insegnamento dell'informatica a scuola. A seguito di questi sforzi, nel 2019 è stato nominato presidente del National Centre for Computing Education, appena fondato, nel Regno Unito[5].
Premi e riconoscimenti
[modifica | modifica wikitesto]Nel 2004 è stato nominato Fellow dell'Association for Computing Machinery per i contributi ai linguaggi di programmazione funzionale[6]. Nel 2011 è stato membro dell'Academia Europæa.
Nel 2011, lui e Simon Marlow hanno ricevuto il SIGPLAN Programming Languages Software Award per il loro lavoro su GHC[7].
Ha ricevuto una laurea honoris causa dall'Università di Glasgow nel 2013 e una laurea honoris causa dall'Università del Kent nel 2017[8].
È stato eletto Fellow della Royal Society (FRS) nel 2016 e Distinguished Fellow della British Computer Society (DFBCS) nel 2017.
Onorificenze
[modifica | modifica wikitesto]_rib.PNG){kind=small}
Note
[modifica | modifica wikitesto]- ^ Simon Peyton Jones, Simon Peyton-Jones - Microsoft Research, su research.microsoft.com, Microsoft Research. URL consultato il 6 aprile 2011.
- ^ Julie Bresnick, GHC developer Simon Peyton Jones on working for, gasp!, Microsoft, su Linux.com, Linux.com, 3 luglio 2001 (archiviato dall'url originale il 9 gennaio 2020).
- ^ Simon Peyton Jones, Ancient, but still having fun, su article.gmane.org, Haskell, 18 gennaio 2008.
- ^ Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet, Church House Publishing, 1999, ISBN 978-0-7151-6586-7.
- ^ Top computer scientist chosen to lead National Centre for Computing Education, su gov.uk, UK Department for Education. URL consultato il 20 marzo 2019.
- ^ Prof Simon L Peyton-Jones - Award Winner, su awards.acm.org, Association for Computing Machinery.
- ^ SIGPLAN Programming Languages Software Award, su corp.galois.com, Galois, Inc., 7 giugno 2011 (archiviato dall'url originale il 10 giugno 2011).
- ^ Professor Simon Peyton Jones, MA, FACM, FBCS, CEng, su kent.ac.uk, University of Kent. URL consultato il 14 febbraio 2019 (archiviato dall'url originale il 14 febbraio 2019).
- ^ (EN) The London Gazette, n. 63714, 2 giugno 2022, p. B14. URL consultato il 30 dicembre 2023.
- ^ (EN) Computer Scientist and Educationalist, Prof Simon Peyton Jones to receive OBE, su bcs.org, 1º giugno 2022. URL consultato il 6 agosto 2023.
Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Simon Jones
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Sito ufficiale, su simon.peytonjones.org.
- (EN) Simon Peyton Jones, su royalsociety.org, Royal Society.
- (EN) Simon Peyton Jones, su Mathematics Genealogy Project, North Dakota State University.
| Controllo di autorità | VIAF (EN) 109501127 · ISNI (EN) 0000 0001 1779 6031 · ORCID (EN) 0000-0002-6085-1435 · LCCN (EN) n86102820 · GND (DE) 172306523 · BNF (FR) cb121526928 (data) · J9U (EN, HE) 987007449594605171 · CONOR.SI (SL) 60381283 |
|---|
