Philip Lee "Phil" Wadler (nacido el 8 de abril de 1956) es un científico de la computación 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 y al uso de mónadas en programación funcional,http://www.oreillynet.com/pub/au/2440 Philip Wadler: Biography at O'Reilly Media. el diseño del lenguaje puramente funcional Haskell, y el lenguaje de consulta declarativo XQuery. En 1984, creó el lenguaje de programación Orwell. Wadler estuvo involucrado en la incorporación de tipos genéricos a Java 5.0. Es también autor del artículo "Theorems for free!" que promovió el interés por investigar la optimización de lenguajes funcionales.
Educación Wadler recibió su título de Licenciado en Matemáticas por la Universidad de Stanford en 1977, y luego hizo una Maestría en Ciencias de la Computación en la Universidad Carnegie Mellon en 1979.Philip Wadler vita. Completó su Doctorado en Informática en la Universidad Carnegie Mellon en 1984. Su tesis se tituló "Listlessness is Better than Laziness" y estuvo supervisada por Nico Habermann.Philip Wadler at the Mathematics Genealogy Project
Investigación Los intereses académicos de Wadler se centran en los lenguajes de programación.Philip Wadler's publications indexed by the DBLP Bibliography Server at the University of TrierPhilip Wadler's publications indexed by Google Scholar, a service provided by GooglePhilip Wadler's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
Wadler fue un investigador del Grupo de Investigación en Programación (parte del Laboratorio de Computación de la Universidad de Oxford) y St Cross College, Oxford durante 1983–87.Philip Wadler vita. Hizo carrera docente en la Universidad de Glasgow desde 1987 hasta 1996. Fue Miembro del Personal Técnico en Laboratorios Bell, Lucent Technologies (1996–99) y luego Avaya Labs (1999–2003). A partir del 2003 es Profesor de Ciencia computacional teórica en la Escuela de Informática de la Universidad de Edimburgo.Philip Wadler, School of Informatics, University of Edinburgh, UK.
Servicio académico Wadler fue editor de la Journal of Functional Programming de 1990–2004. Recibió el premio Most Influential POPL Paper en 2003 por su artículo de 1993 presentado en el Simposio POPL de Programación Funcional Imperativa, en conjunto con Simon Peyton Jones.Philip Wadler vita. En 2005, se convirtió en Fellow de la Royal Society of Edinburgh. En 2007 fue convocado como Fellow de la Association for Computing Machinery.
Wadler se encuentra trabajando actualmente en un nuevo lenguaje funcional diseñado para escribir aplicaciones web, llamado Links.Links programming language group , University of Edinburgh, UK.
Referencias
Categoría:Profesores de la Universidad de Edimburgo Categoría:Profesores de la Universidad de Glasgow Categoría:Informáticos de Estados Unidos Categoría:Informáticos del Reino Unido Categoría:Alumnado de la Universidad Carnegie Mellon Categoría:Miembros honorarios de la Association for Computing Machinery Categoría:Miembros de la Royal Society of Edinburgh Categoría:Programación funcional Categoría:Científicos de Bell Labs Categoría:Alumnado de la Universidad Stanford