stringtranslate.com

Simón Peyton Jones

Simon Peyton Jones OBE FRS MAE DFBCS [4] [5] (nacido el 18 de enero de 1958) es un informático británico que investiga la implementación y aplicaciones de lenguajes de programación funcionales , particularmente la programación funcional perezosa . [2] [6]

Educación

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

Carrera e investigación

Peyton Jones trabajó en la industria durante dos años antes de trabajar como profesora en el University College London y, de 1990 a 1998, como profesora en la Universidad de Glasgow . [10] De 1998 a 2021 trabajó como investigador en Microsoft Research en Cambridge, Inglaterra . [10] [11] [12] Desde 2021 trabaja en Epic Games como ingeniero. [13]

Es uno de los principales contribuyentes al diseño del lenguaje de programación Haskell [14] y desarrollador líder del Glasgow Haskell Compiler (GHC). [15] También es cocreador 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 fondo de propósito general. C-- se utiliza en GHC. [16] [17] [18]

También fue un importante colaborador del libro Cybernauts Awake de 1999 , [19] que exploraba 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 de Educación en Computación del Reino Unido . [20]

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. [21] En 2021, funciones anónimas y expresiones let estuvieron disponibles en la versión Office 365 de Excel como característica beta. [22]

Honores y premios

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

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

Recibió un doctorado honoris causa de la Universidad de Glasgow en 2013 [25] y un doctorado honoris causa de la Universidad de Kent en 2017. [26]

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

Peyton Jones fue nombrado Oficial de la Orden del Imperio Británico (OBE) en los Honores de Cumpleaños de 2022 por sus servicios en educación e informática. [28] [5] También se convirtió en académico afiliado distinguido en Pembroke College Cambridge [29] y 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". premios.acm.org . Asociación para Maquinaria de Computación.
  2. ^ ab Publicaciones de Simon Peyton Jones indexadas por Google Scholar
  3. ^ ab "Computación en la escuela: Quiénes somos". Computingatschool.org.uk .
  4. ^ ab Anón (2016). "Profesor Simon Peyton Jones FRS". Londres: Sociedad de la Realeza . 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 internacional Creative Commons Attribution 4.0 ". -- "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 .

  5. ^ abBCS (2022). "El profesor Simon Peyton Jones, científico informático y pedagogo, recibirá OBE". BCS, Instituto Colegiado de TI .
  6. ^ Simon Peyton Jones en el servidor de bibliografía DBLP
  7. ^ "Simon Peyton-Jones". archivesit.org.uk . Consultado el 10 de diciembre de 2022 .
  8. ^ Seibel, Peter (2009). Codificadores en el trabajo: reflexiones sobre el oficio de programar. Presione. ISBN 978-1-4302-1948-4. Consultado el 10 de diciembre de 2022 .
  9. ^ Yang, Jean. "Entrevista con Simon Peyton-Jones". Gente de Lenguajes de Programación . Consultado el 10 de diciembre de 2022 .
  10. ^ ab Peyton Jones, Simón. "Simon Peyton-Jones - Investigación de Microsoft". Investigación de Microsoft. Archivado desde el original el 24 de mayo de 2016 . Consultado el 6 de abril de 2011 .
  11. ^ Bresnick, Julie (3 de julio de 2001). "El desarrollador de GHC, Simon Peyton Jones, habla sobre trabajar para, ¡jadea!, Microsoft". linux.com . Archivado desde el original el 9 de enero de 2020.
  12. ^ Peyton Jones, Simon (18 de enero de 2008). "Antiguo, pero todavía divertido". [email protected].
  13. ^ "Un futuro épico para SPJ". discurso.haskell.org . 5 de noviembre de 2021.
  14. ^ Peyton Jones, Simón, ed. (Diciembre de 2002). "Bibliotecas y lenguaje Haskell 98: informe revisado". haskell.org.
  15. ^ "El equipo de GHC". 22 de junio de 2006.
  16. ^ "Generador de código nativo (NCG)". El compilador Haskell de Glasgow . Haskell.org. 17 de septiembre de 2007 . Consultado el 4 de abril de 2019 .
  17. ^ Peyton Jones, Simón (1987). La implementación de lenguajes de programación funcionales . Prentice Hall. ISBN 0-13-453333-X.
  18. ^ Peyton Jones, Simón; Lester, David R. (agosto de 1992). Implementación de lenguajes funcionales . Prentice Hall. ISBN 0-13-721952-0.
  19. ^ ¡Despertad los cibernautas!: Implicaciones éticas y espirituales de las computadoras, la tecnología de la información e Internet . Publicaciones de la Casa de la Iglesia. 1999.ISBN​ 978-0-7151-6586-7.
  20. ^ "Destacado científico informático elegido 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 .
  21. ^ "Innovación en números (y más allá): una historia de colaboraciones de investigación en Excel". Microsoft . 13 de abril de 2021.
  22. ^ "Avanzando en Excel como lenguaje de programación con Andy Gordon y Simon Peyton Jones". microsoft.com . Microsoft. 5 de mayo de 2021.
  23. ^ "Simon Peyton Jones en la Academia Europaea". ae-info.org .
  24. ^ "Premio al software de lenguajes de programación SIGPLAN". Galois, Inc. 7 de junio de 2011. Archivado desde el original el 10 de junio de 2011.
  25. ^ "Doctorado honorario de Simon Peyton Jones". Universidad de Glasgow . Consultado el 20 de julio de 2014 .
  26. ^ "Profesor Simon Peyton Jones, MA, FACM, FBCS, CEng". Universidad de Kent . Consultado el 14 de febrero de 2019 .
  27. ^ "Lista de miembros distinguidos de la BCS". Sociedad Británica de Computación . 2023.
  28. ^ "Nº 63714". The London Gazette (suplemento). 1 de junio de 2022. p. B14.
  29. ^ "Simon Peyton Jones FRS". Pembroke College Cambridge . Enero de 2022.
  30. ^ "Becarios honorarios distinguidos". Laboratorio de Computación de Cambridge . 2022.