stringtranslate.com

Philip Wadler

Philip Lee Wadler (nacido el 8 de abril de 1956) es un informático estadounidense radicado en el Reino Unido conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos . Ocupa el puesto de presidente personal de informática teórica en el Laboratorio de Fundamentos de la Informática en la Escuela de Informática de la Universidad de Edimburgo . Ha contribuido a la teoría detrás de la programación funcional [1] y el uso de mónadas ; y a los diseños del lenguaje puramente funcional Haskell [2] y el lenguaje de consulta declarativo XQuery . En 1984, creó el lenguaje Orwell . Wadler participó en la adición de tipos genéricos a Java 5.0. [3] También es autor de "Theorems for free!", [4] un artículo que dio lugar a mucha investigación sobre la optimización del lenguaje funcional (véase también Parametricidad ). [5]

Educación

Wadler recibió una licenciatura en Ciencias en matemáticas de la Universidad de Stanford en 1977 y una maestría en Ciencias de la Computación de la Universidad Carnegie Mellon en 1979. [6] Completó su Doctorado en Filosofía en Ciencias de la Computación en la Universidad Carnegie Mellon en 1984. Su tesis se tituló "La apatía es mejor que la pereza" y fue supervisada por Nico Habermann . [7] [8]

Investigación y carrera

Los intereses de investigación de Wadler [9] [10] [11] son ​​los lenguajes de programación . [3] [12]

Wadler fue investigador en el Programming Research Group (parte del Laboratorio de Computación de la Universidad de Oxford ) y en el St Cross College de Oxford entre 1983 y 1987. [6] Fue profesor, lector y catedrático en la Universidad de Glasgow entre 1987 y 1996. Wadler fue miembro del personal técnico de Bell Labs , Lucent Technologies (1996-99) y luego de Avaya Labs (1999-2003). Desde 2003, ha sido profesor de informática teórica en la Escuela de Informática de la Universidad de Edimburgo . [13]

Wadler fue editor del Journal of Functional Programming de 1990 a 2004.

Desde 2003, Wadler ha sido profesor de informática teórica en el Laboratorio de Fundamentos de la Informática de la Universidad de Edimburgo y es el presidente de la misma. [14] En 2006, estaba trabajando en un nuevo lenguaje funcional para escribir aplicaciones web , llamado Links . [15] [16] Ha supervisado a muchos estudiantes de doctorado hasta su finalización. [8] [17] [18] [19] También es miembro del Laboratorio de Tecnología Blockchain de la universidad. [20] [21] Wadler tiene un índice h de 72 con 26.864 citas en Google Scholar . [22]

Desde 2018, Wadler también ha sido investigador principal y líder del área de lenguajes de programación en IOHK (ahora Input Output Global), la empresa de ingeniería blockchain que desarrolla Cardano . [23] Ha contribuido al trabajo en Plutus, un lenguaje de contrato inteligente Turing-completo para Cardano escrito en Haskell; el sistema de contabilidad UTXO , tokens nativos y System F en Agda . [24] [25]

Premios y honores

En 2003, Wadler recibió el premio al artículo más influyente de diez años antes en el Simposio sobre principios de lenguajes de programación . El premio citó "Programación funcional imperativa", un artículo escrito conjuntamente con Simon Peyton Jones en 1993. [6] [26] En 2005, fue elegido miembro de la Royal Society of Edinburgh (FRSE). [27] En 2007, fue incluido como miembro de la Association for Computing Machinery . [28] Fue elegido miembro de la Royal Society (FRS) en 2023. [29] [30]

Referencias

  1. ^ "Philip Wadler: Biografía". O'Reilly Media . Consultado el 20 de marzo de 2017 .
  2. ^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S. ; Wadler, P. ; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, MAM; Hammond, K.; Hughes, J. (1992). "Informe sobre el lenguaje de programación Haskell". ACM SIGPLAN Notices . 27 (5): 1. doi :10.1145/130697.130699. S2CID  15516611.
  3. ^ ab Wadler, Philip ; Naftalin, Maurice (2007). Genéricos y colecciones de Java . Sebastopol, CA: O'Reilly. ISBN 978-0-596-52775-4.
  4. ^ Wadler, P. (1989). "¡Teoremas gratis!". Actas de la cuarta conferencia internacional sobre lenguajes de programación funcional y arquitectura informática – FPCA '89 . p. 347. doi :10.1145/99370.99404. ISBN 978-0897913287. Número de identificación del sujeto  5513047.
  5. ^ "Profesor Philip Wadler: Programación funcional en finanzas" en YouTube
  6. ^ abc "Philip Wadler: CV" (PDF) . Homepages.inf.ed.ac.uk . Consultado el 20 de marzo de 2017 .
  7. ^ Wadler, Philip Lee (1984). La apatía es mejor que la pereza: un algoritmo que transforma los programas aplicativos para eliminar las listas intermedias (tesis doctoral). Universidad Carnegie Mellon. OCLC  123317612. ProQuest  303342238. (se requiere suscripción)
  8. ^ de Philip Wadler en el Proyecto de Genealogía Matemática
  9. ^ Philip Wadler en el servidor de bibliografía DBLP
  10. ^ Publicaciones de Philip Wadler indexadas por Google Scholar
  11. ^ Publicaciones de Philip Wadler indexadas en la base de datos bibliográfica Scopus . (requiere suscripción)
  12. ^ Bird, Richard Miller ; Wadler, Philip (1998). Introducción a la programación funcional con Haskell . Nueva York: Prentice Hall Europe. ISBN 978-0-13-484346-9.
  13. ^ "Philip Wadler". Inf.ed.ac.uk. Consultado el 20 de marzo de 2017 .
  14. ^ "Philip Wadler". inf.ed.ac.uk . la Universidad de Edimburgo. nd . Consultado el 5 de febrero de 2019 .
  15. ^ "Enlaces". Archivado desde el original el 17 de junio de 2006 . Consultado el 22 de junio de 2006 .
  16. ^ "Sitio web oficial de Links lang".
  17. ^ Hutchins, DeLesley (2009). Sistemas de subtipos puros: una teoría de tipos para software extensible. ethos.bl.uk (tesis doctoral). Universidad de Edimburgo. hdl :1842/3937. OCLC  781103005. Icono de acceso abierto
  18. ^ Lester, David (1988). Reducción de grafos combinatorios: una congruencia y sus aplicaciones. bodleian.ox.ac.uk (tesis de doctorado). Universidad de Oxford. ISBN 9780902928558.OCLC 937098100  .
  19. ^ Yallop, Jeremy (2010). Abstracción para programación web. ethos.bl.uk (tesis doctoral). Universidad de Edimburgo. hdl :1842/4683. OCLC  827264319. Icono de acceso abierto
  20. ^ "Una lista de personas involucradas con el Laboratorio de Tecnología Blockchain". ed.ac.uk . Universidad de Edimburgo. 14 de diciembre de 2018 . Consultado el 5 de febrero de 2019 .
  21. ^ Wadler, Philip (nd). «Página de inicio de Philip Wadler». homepages.inf.ed.ac.uk . páginas de inicio . Consultado el 5 de febrero de 2019 .
  22. ^ "Philip Wadler". scholar.google.co.uk . Google Académico. nd . Consultado el 5 de febrero de 2019 .
  23. ^ Wall, Jeremy (12 de diciembre de 2018). "IOHK lanza dos nuevas herramientas para el desarrollo de contratos inteligentes". Invertir en blockchain . Consultado el 25 de marzo de 2020 .
  24. ^ Wadler, Philip (11 de diciembre de 2018). «Lanzamiento del lenguaje de contratos inteligentes para Cardano en PlutusFest». Archivado desde el original el 17 de marzo de 2020. Consultado el 11 de junio de 2003 .
  25. ^ "Prof. Philip Wadler, artículos de investigación - IOHK Research". IOHK . Consultado el 11 de junio de 2023 .
  26. ^ Peyton Jones, SL ; Wadler, P. (1993). "Programación funcional imperativa". Actas del 20º simposio ACM SIGPLAN-SIGACT sobre Principios de lenguajes de programación – POPL '93 . p. 71. CiteSeerX 10.1.1.53.2504 . doi :10.1145/158511.158524. ISBN  978-0897915601.S2CID 9751593  .
  27. ^ "Profesor Philip Wadler". rse.org.uk . Real Sociedad de Edimburgo .
  28. ^ Página de concesión de becas de la ACM
  29. ^ Quinn, Anthony (14 de julio de 2023). «Wadler sigue a los gigantes de la ciencia» . Consultado el 4 de agosto de 2023 .
  30. ^ "Philip Wadler". Royalsociety.org . Consultado el 26 de mayo de 2023 .

Medios relacionados con Philip Wadler en Wikimedia Commons