Philip Lee Wadler (nacido el 8 de abril de 1956) es un informático estadounidense conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos . En particular, ha contribuido a la teoría detrás de la programación funcional [8] [ verificación fallida ] y el uso de mónadas en la programación funcional , el diseño del lenguaje puramente funcional Haskell , [9] y el lenguaje de consulta declarativo XQuery . En 1984, creó el lenguaje de programación Orwell . Wadler participó en la adición de tipos genéricos a Java5,0. [10] ¡ También es autor del artículo Theorems gratis! [11] que dio lugar a muchas investigaciones sobre la optimización funcional del lenguaje (ver también Parametricidad ).
Phil Wadler | |
---|---|
Nació | Philip Lee Wadler 8 de abril de 1956 |
alma mater | |
Premios |
|
Carrera científica | |
Campos | Lenguajes de programación [3] |
Instituciones | |
Tesis | La apatía es mejor que la pereza: un algoritmo que transforma programas de aplicación para eliminar listas intermedias (1984) |
Asesor de doctorado | Nico Habermann [4] |
Estudiantes de doctorado | |
Sitio web |
Educación
Wadler recibió una Licenciatura en Ciencias grado en matemáticas de la Universidad de Stanford en 1977, y una Maestría en Ciencias grado en Informática por la Universidad Carnegie Mellon en 1979. [12] Él terminó su Doctor en Filosofía en Ciencias de la Computación de la Universidad Carnegie Mellon en 1984. Su tesis se tituló La apatía es mejor que la pereza y fue supervisada por Nico Habermann . [13] [4]
Investigación y carrera
Los intereses de investigación de Wadler [14] [3] [15] son los lenguajes de programación . [10] [16]
Wadler fue investigador en el Programming Research Group (parte del Laboratorio de Computación de la Universidad de Oxford ) y en St Cross College, Oxford durante 1983–87. [12] Fue progresivamente conferencista, lector y profesor en la Universidad de Glasgow de 1987 a 1996. Wadler fue miembro del personal técnico en Bell Labs , Lucent Technologies (1996–99) y luego en 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 . [17]
Wadler fue editor del Journal of Functional Programming de 1990 a 2004. Wadler es actualmente [ ¿cuándo? ] trabajando en un nuevo lenguaje funcional diseñado para escribir aplicaciones web , llamado Enlaces . [18] Ha supervisado a numerosos estudiantes de doctorado hasta su finalización. [4] [5] [6] [7]
Desde 2003, Wadler ha sido profesor de informática teórica en el Laboratorio de Fundamentos de Ciencias de la Computación de la Universidad de Edimburgo y es el presidente de Ciencias de la Computación Teórica. [19] También es miembro del Laboratorio de Tecnología Blockchain de la universidad . [20] [21] Tiene un índice h de 72 con 26.874 citas en Google Scholar . [22] En diciembre de 2018, Wadler era líder de área de lenguajes de programación en IOHK, una empresa de desarrollo de blockchain. [23]
Premios y honores
Wadler recibió el premio al artículo POPL más influyente en 2003 por el artículo del Simposio POPL de 1993 Programación funcional imperativa , junto con Simon Peyton Jones . [12] [24] En 2005, fue elegido miembro de la Royal Society of Edinburgh . [1] En 2007, fue admitido como miembro de ACM por la Asociación de Maquinaria de Computación (ACM). [2]
Referencias
- ^ a b Perfil de la Royal Society of Edinburgh
- ^ a b Página de premios de becas ACM
- ^ a b Publicaciones de Philip Wadler indexadas por Google Scholar
- ^ a b c d e f g Philip Wadler en el Proyecto de genealogía matemática
- ↑ a b 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 .
- ^ a b Lester, David. (1988). Reducción del gráfico combinador: una congruencia y sus aplicaciones . bodleian.ox.ac.uk (tesis de DPhil). Universidad de Oxford. ISBN 9780902928558. OCLC 937098100 .
- ^ a b Yallop, Jeremy (2010). Abstracción para programación web . ethos.bl.uk (tesis doctoral). Universidad de Edimburgo. hdl : 1842/4683 . OCLC 827264319 .
- ^ "Philip Wadler: biografía" . O'Reilly Media . Consultado el 20 de marzo de 2017 .
- ^ 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". Avisos ACM SIGPLAN . 27 (5): 1. doi : 10.1145 / 130697.130699 . S2CID 15516611 .
- ^ a b Wadler, Philip ; Naftalin, Maurice (2007). Genéricos y colecciones de Java . Sebastopol, CA: O'Reilly. ISBN 978-0-596-52775-4.
- ^ Wadler, P. (1989). "¡Teoremas gratis!". Actas de la cuarta conferencia internacional sobre lenguajes de programación funcionales y arquitectura informática - FPCA '89 . pag. 347. doi : 10.1145 / 99370.99404 . ISBN 978-0897913287. S2CID 5513047 .
- ^ a b c "Philip Wadler: CV" (PDF) . Homepages.inf.ed.ac.uk . Consultado el 20 de marzo de 2017 .
- ^ Wadler, Philip Lee (1984). La apatía es mejor que la pereza: un algoritmo que transforma programas de aplicación para eliminar listas intermedias (tesis doctoral). Universidad de Carnegie mellon. OCLC 123317612 . ProQuest 303342238 . (requiere suscripción)
- ^ Philip Wadler en elservidor de bibliografía DBLP
- ^ Publicaciones de Philip Wadler indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ 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.
- ^ "Philip Wadler" . Inf.ed.ac.uk . Consultado el 20 de marzo de 2017 .
- ^ "Copia archivada" . Archivado desde el original el 17 de junio de 2006 . Consultado el 22 de junio de 2006 .CS1 maint: copia archivada como título ( enlace )
- ^ "Philip Wadler" . inf.ed.ac.uk . la Universidad de Edimburgo. nd . Consultado el 5 de febrero de 2019 .
- ^ "Una lista de personas involucradas con el Laboratorio de Tecnología Blockchain" . ed.ac.uk . la Universidad de Edimburgo. 14 de diciembre de 2018 . Consultado el 5 de febrero de 2019 .
- ^ Wadler, Philip (sin fecha). "Página de inicio de Philip Wadler" . homepages.inf.ed.ac.uk . páginas de inicio . Consultado el 5 de febrero de 2019 .
- ^ "Philip Wadler" . scholar.google.co.uk . Google Académico. nd . Consultado el 5 de febrero de 2019 .
- ^ Wall, Jeremy (12 de diciembre de 2018). "IOHK lanza 2 nuevas herramientas para el desarrollo de contratos inteligentes" . Invierta en Blockchain . Consultado el 25 de marzo de 2020 .
- ^ Peyton Jones, SL ; Wadler, P. (1993). "Programación funcional imperativa". Actas del vigésimo simposio ACM SIGPLAN-SIGACT sobre principios de lenguajes de programación - POPL '93 . pag. 71. CiteSeerX 10.1.1.53.2504 . doi : 10.1145 / 158511.158524 . ISBN 978-0897915601. S2CID 9751593 .
enlaces externos
- "Profesor Philip Wadler: Programación funcional en finanzas" en YouTube
- Medios relacionados con Philip Wadler en Wikimedia Commons