stringtranslate.com

Simón Peyton Jones

Simon Peyton Jones (nacido el 18 de enero de 1958) es un científico informático británico que investiga la implementación y aplicaciones de lenguajes de programación funcional , particularmente la programación funcional perezosa . [2] [4]

Educación

Peyton Jones se graduó en la Universidad de Cambridge con una licenciatura en Ciencias [5] en Ciencias Eléctricas en 1979. Durante este tiempo fue estudiante de pregrado en Trinity College, Cambridge , y posteriormente completó el Diploma de Cambridge en Ciencias de la Computación en 1980. Nunca hizo un doctorado. [6] [7]

Carrera e investigación

Peyton Jones trabajó en la industria durante dos años antes de desempeñarse como profesor en el University College de Londres y, de 1990 a 1998, como profesor en la Universidad de Glasgow . [8] De 1998 a 2021 trabajó como investigador en Microsoft Research en Cambridge, Inglaterra . [8] [9] [10] Desde 2021 trabaja en Epic Games como ingeniero becario. [11]

Es un importante colaborador en el diseño del lenguaje de programación Haskell , [12] y un desarrollador principal del Glasgow Haskell Compiler (GHC). [13] También es co-creador del lenguaje de programación C-- , diseñado para la representación intermedia de programas entre el front-end específico del lenguaje de un compilador y un generador y optimizador de código de back-end de propósito general . C-- se utiliza en GHC. [14] [15] [16]

También fue un importante colaborador del libro Cybernauts Awake de 1999 , [17] que exploró las implicaciones éticas y espirituales de Internet.

Peyton Jones preside el grupo Computing At School (CAS), [3] una organización que tiene como objetivo promover la enseñanza de la informática en la escuela. Tras estos esfuerzos, en 2019 fue nombrado presidente del recién fundado Centro Nacional para la Educación en Informática del Reino Unido . [18]

Peyton Jones ha desempeñado un papel fundamental en el desarrollo de nuevas funciones de Microsoft Excel desde 2003, cuando publicó un artículo sobre funciones definidas por el usuario. [19] En 2021, las funciones anónimas y las expresiones let se pusieron a disposición en la versión Office 365 de Excel como una función beta. [20]

Honores y premios

En 2004 fue nombrado miembro de la Association for Computing Machinery por sus contribuciones a los lenguajes de programación funcional. [1] En 2011 se le concedió la membresía en la Academia Europaea (MAE). [21]

En 2011, él y Simon Marlow recibieron el premio SIGPLAN Programming Languages ​​Software Award por su trabajo en GHC. [22]

Recibió un doctorado honorario de la Universidad de Glasgow en 2013 [23] y doctorados honorarios de la Universidad de Kent y la Universidad de Bath en 2017. [24]

Fue elegido miembro de la Royal Society (FRS) en 2016 [25] y miembro distinguido de la British Computer Society (DFBCS) en 2017. [26]

Recibió el premio ACM SIGPLAN Programming Languages ​​Achievement Award en 2016.

Peyton Jones fue nombrado Oficial de la Orden del Imperio Británico (OBE) en los Honores de Cumpleaños de 2022 por sus servicios a la educación y la informática. [27] [28] También se convirtió en un Académico Afiliado Distinguido en Pembroke College Cambridge [29] y en un Miembro Honorario Distinguido en el Laboratorio de Computación de la Universidad de Cambridge . [30]

Referencias

  1. ^ ab "Prof. Simon L. Peyton-Jones - Ganador del premio". awards.acm.org . Asociación para Maquinaria Informática.
  2. ^ Publicaciones de Simon Peyton Jones indexadas por Google Scholar
  3. ^ ab "Informática en la escuela: Acerca de nosotros". computingatschool.org.uk .
  4. ^ Simon Peyton Jones en el servidor de bibliografía DBLP
  5. ^ "Simon Peyton Jones". archivesit.org.uk . Consultado el 10 de diciembre de 2022 .
  6. ^ Seibel, Peter (2009). Programadores en acción: reflexiones sobre el oficio de programar. Apress. ISBN 978-1-4302-1948-4. Recuperado el 10 de diciembre de 2022 .
  7. ^ Yang, Jean. «Entrevista con Simon Peyton-Jones». People of Programming Languages . Consultado el 10 de diciembre de 2022 .
  8. ^ de Peyton Jones, Simon. "Simon Peyton-Jones - Microsoft Research". Microsoft Research. Archivado desde el original el 24 de mayo de 2016. Consultado el 6 de abril de 2011 .
  9. ^ Bresnick, Julie (3 de julio de 2001). «Simon Peyton Jones, desarrollador de GHC, habla de su trabajo para, ¡ay!, Microsoft». linux.com . Archivado desde el original el 9 de enero de 2020.
  10. ^ Peyton Jones, Simon (18 de enero de 2008). "Antiguo, pero divertido". [email protected].
  11. ^ "Un futuro épico para SPJ". speech.haskell.org . 5 de noviembre de 2021.
  12. ^ Peyton Jones, Simon, ed. (diciembre de 2002). "Haskell 98 Language and Libraries - The Revised Report" (El lenguaje y las bibliotecas de Haskell 98: informe revisado). haskell.org.
  13. ^ "El equipo de GHC". 22 de junio de 2006.
  14. ^ "Generador de código nativo (NCG)". El compilador Glasgow Haskell . Haskell.org. 17 de septiembre de 2007 . Consultado el 4 de abril de 2019 .
  15. ^ Peyton Jones, Simon (1987). La implementación de lenguajes de programación funcional . Prentice-Hall. ISBN 0-13-453333-X.
  16. ^ Peyton Jones, Simon; Lester, David R. (agosto de 1992). Implementación de lenguajes funcionales . Prentice-Hall. ISBN 0-13-721952-0.
  17. ^ ¡ Despertad, cibernautas!: Implicaciones éticas y espirituales de las computadoras, la tecnología de la información e Internet . Church House Publishing. 1999. ISBN 978-0-7151-6586-7.
  18. ^ "Elegido un destacado científico informático para dirigir el Centro Nacional de Educación en Computación". Departamento de Educación del Reino Unido . Consultado el 20 de marzo de 2019 .
  19. ^ "Innovación a través de (y más allá de) los números: una historia de colaboraciones de investigación en Excel". Microsoft . 13 de abril de 2021.
  20. ^ "Avanzando con Excel como lenguaje de programación con Andy Gordon y Simon Peyton Jones". microsoft.com . Microsoft. 5 de mayo de 2021.
  21. ^ "Simon Peyton Jones en la Academia Europaea". ae-info.org .
  22. ^ "Premio de software de lenguajes de programación SIGPLAN". Galois, Inc. 7 de junio de 2011. Archivado desde el original el 10 de junio de 2011.
  23. ^ "Doctorado honorario para Simon Peyton Jones". Universidad de Glasgow . Consultado el 20 de julio de 2014 .
  24. ^ "Profesor Simon Peyton Jones, MA, FACM, FBCS, CEng". Universidad de Kent . Consultado el 14 de febrero de 2019 .
  25. ^ Anónimo (2016). "Profesor Simon Peyton Jones FRS". Londres: Royal Society . Archivado desde el original el 29 de abril de 2016.Una o más de las oraciones anteriores incorporan texto del sitio web royalsociety.org donde:

    “Todo el texto publicado bajo el título 'Biografía' en las páginas de perfil de los miembros está disponible bajo la licencia Creative Commons Attribution 4.0 International License .” – “Términos, condiciones y políticas de la Royal Society”. Archivado desde el original el 25 de septiembre de 2015. Consultado el 9 de marzo de 2016 .

  26. ^ "Lista de miembros distinguidos de la BCS". British Computer Society . 2023.
  27. ^ "No. 63714". The London Gazette (Suplemento). 1 de junio de 2022. pág. B14.
  28. ^ BCS (2022). "El científico informático y pedagogo, el profesor Simon Peyton Jones, recibirá la Orden del Imperio Británico". BCS, The Chartered Institute for IT .
  29. ^ "Simon Peyton Jones FRS". Pembroke College, Cambridge . Enero de 2022.
  30. ^ "Miembros honorarios distinguidos". Laboratorio de Computación de Cambridge . 2022.