John Darlington es un académico, investigador y autor británico. Es profesor emérito en el Imperial College de Londres . Fue director del London e-Science Centre y jefe de las secciones de programación funcional y computación social en Imperial. [1]
John Darlington | |
---|---|
Nacionalidad | británico |
Ocupación | Académico, investigador y autor |
Antecedentes académicos | |
Educación | B.Sc. (Econ) (1969) Doctorado en Inteligencia Artificial (1973) |
alma mater | Escuela de Economía de Londres Universidad de Edimburgo |
Trabajo académico | |
Instituciones | Universidad de Edimburgo Imperial College London |
Darlington es conocido por los primeros trabajos que realizó en la transformación de programas y la programación funcional. En su tesis de 1972, Darlington popularizó la idea de transformación de programas , es decir, manipulando programas en formas alternativas, preservando su semántica y alterando sus características operativas. [2]
Temprana edad y educación
Darlington completó su B.Sc. (Econ) en 1969 de la London School of Economics y su Ph.D. en Inteligencia Artificial del Departamento de Inteligencia Artificial de la Universidad de Edimburgo en 1973. Fue Investigador en la Universidad de Edimburgo de 1973 a 1977. Posteriormente fue Investigador Visitante en IBM Yorktown Heights y en el Stanford Research Institute . [1]
Carrera profesional
En 1977, Darlington se unió al Imperial College como profesor en el Departamento de Computación, convirtiéndose en Lector en 1982 y Profesor Titular en 1985. En el Imperial College, ocupó varios puestos como Director de Centros destinados a desarrollar la aplicación de computadoras paralelas y novedosas. arquitecturas. Estos incluyen, el Imperial College / Fujitsu Parallel Computing Research Center (1994-2000), el Imperial College Parallel Computing Center (1996-2002), el London e-Science Centre (2002-2005) y el Imperial College Internet Center (2005- 2008). [1]
En 2015, Darlington se convirtió en profesor emérito en Imperial College. Se jubiló en 2016, a los 69 años. [1]
Investigación y trabajo
Investigación en ciencias de la computación
Darlington es conocido por sus primeros trabajos en la transformación de programas y la programación funcional. En su tesis de 1972, Darlington introdujo la idea de transformación de programas, es decir, manipular programas en formas alternativas, preservando su semántica mientras modificaba sus características operativas [3] En un trabajo posterior con su supervisor, Rod Burstall , Darlington desarrolló el cálculo de desplegar / plegar para programas transformación [4] Este sistema de seis reglas de reescritura se ha vuelto clásico y constituye la base de una gran cantidad de trabajo en muchas áreas que continúa hasta el día de hoy. [5] A partir de este trabajo, Burstall y Darlington introdujeron un lenguaje funcional novedoso, NPL , basado en las ecuaciones de recursión de Kleene que hizo una contribución temprana al desarrollo del estilo de coincidencia de patrones de múltiples ecuaciones de programación funcional pura [6]
Darlington fue uno de los primeros defensores de los lenguajes de programación funcionales y el enfoque declarativo en general. Fundó y dirigió la Sección de Programación Funcional en el Departamento de Computación del Imperial College en 1977, formó parte del Grupo de Trabajo 2.8 de IFIP y dirigió el desarrollo de Hope +, una extensión de Hope , que a su vez fue el lenguaje sucesor de NPL. [7] Este trabajo temprano ayudó a allanar el camino para desarrollos posteriores como Haskell .
La primera visión unificadora de Darlington fue mostrar que, con la notación correcta, los programas de computadora podrían tratarse como objetos matemáticos, formalmente manipulables. Las ventajas de este enfoque se obtuvieron en investigaciones posteriores, lo que dio como resultado innovaciones que incluyen: diseño de máquinas paralelas , la máquina de reducción de gráficos funcionales ALICE (1985), [8] [9] un precursor de la máquina comercial de bases de datos paralelas ICL Goldrush (1992); formularios de coordinación (1996) [10] cf map / reduce e informática de servicios basada en el mercado. [11] [12] [13] en colaboración con Sun Microsystems, cf computación en la nube.
Computación multidisciplinaria de alto rendimiento
La investigación de Darlington en computación paralela llevó a Fujitsu a fundar el Imperial College / Fujitsu Parallel Computing Research Center, inaugurado en 1994 por Su Alteza Real la Princesa Real. [14] Fujitsu donó una nueva máquina AP1000 de 128 procesadores, valorada en más de 1 millón de libras esterlinas, y el Centro, con Darlington como Director, operó un programa abierto de desarrollo de aplicaciones en paralelo multidisciplinario. Esta actividad en curso prosiguió bajo los auspicios del Imperial College Parallel Computing Centre (1996-2002), el London e-Science Centre, [15] (2002-2005) y el Imperial College Internet Centre (2005-2008).
El programa de ciencia electrónica del Reino Unido se lanzó en 2001 con el Centro de ciencia electrónica de Londres (LeSC) como centro regional. LeSC montó un extenso programa de colaboración con aplicaciones en modelado de materiales, plegamiento de proteínas, modelado climático de toda la tierra, monitoreo de contaminación, flujo de trabajo distribuido y administración de datos, física de partículas, informática de datos de salud e imágenes cerebrales. [dieciséis]
El Centro de Internet, fundado en 2005, con financiación inicial del Imperial College, enfatizó la importancia de los factores económicos y sociales al estudiar Internet. El Centro de Internet desarrolló colaboraciones con una variedad de organizaciones comerciales y públicas que incluyen: Vodafone, BBC, Transport for London, Royal Bank of Scotland, RCA y Science Museum.
Darlington ha colaborado con la industria en varios proyectos de la Junta de Estrategia Tecnológica del Reino Unido y de Innovate en el Reino Unido y Europa, aplicando ideas en software basado en funciones y computación en la nube, que han desarrollado una gama de aplicaciones innovadoras en procesamiento de medios, servicios en la nube de Internet y salud pública. En este trabajo, Darlington desarrolló metodologías que combinan el uso de lenguajes funcionales con sistemas de software convencionales. [17]
Publicaciones Seleccionadas
- Un sistema que mejora automáticamente los programas, J. Darlington, RM Burstall, Acta Informatica, vol. 6, págs. 41–60, 1976.
- Un sistema de transformación para desarrollar programas recursivos. RM Burstall, J. Darlington. Revista de la ACM (JACM) 24 (1), 44-67. 1977.
- Consideraciones de diseño para un lenguaje de programación funcional. RM Burstall. Infotech State of the Art Conference: The Software Revolution, Copenhague, octubre de 1977.
- Hope + (Nigel Perry, La implementación de lenguajes de programación funcionales prácticos, Tesis de doctorado, Universidad de Londres, 1991)
- El diseño e implementación de ALICE, una máquina de reducción de gráficos paralelos. M. Cripps, J. Darlington, AJ Field, PG Harrison, MJ Reeve. Reimpresiones seleccionadas sobre arquitecturas de reducción y flujo de datos, págs. 300–32, IEEE Computer Society Press, 1987, ISBN 0818607599 .
- Esqueletos funcionales para la coordinación paralela. J. Darlington, Y. Guo, HW To y J. Yang, en EURO-PAR'95 Parallel Processing, páginas 55–69. Springer-Verlag, 1995.
- Una arquitectura para una Internet de próxima generación basada en servicios web y utilidades informáticas. J. Darlington, J. Cohen y W. Lee. En el Tercer Taller Internacional sobre Tecnologías Emergentes para GRID de Próxima Generación (ETNGRID 2006), WETICE-2006, p. 169-174, Manchester, Reino Unido, junio de 2006.
- Pago y negociación para Grid y Web de próxima generación. J. Cohen, J. Darlington, W. Lee, Simultaneidad y computación: práctica y experiencia, vol. 20, páginas: 239-251, 2008, ISSN 1532-0626 . http://dx.doi.org/10.1002/cpe.1196
- La visión de Imperial puede remodelar la red. A. Baxter. Financial Times, Digital Business, 22 de noviembre de 2005
- RAPPORT: ejecución de aplicaciones informáticas científicas de alto rendimiento en la nube. J. Cohen, I. Fillipis, M. Woodbridge y col. Transacciones filosóficas de la Royal Society A -Ciencias matemáticas, físicas y de ingeniería, Vol: 371, 2013, ISSN 1364-503X . doi : 10.1098 / rsta.2012.0073
- Abordar la complejidad en aplicaciones informáticas de alto rendimiento. J. Darlington, AJ Field, L. Hakim, Revista Internacional de Programación Paralela, págs. 1–19, marzo de 2016, ISSN 0885-7458 doi : 10.1007 / s10766-016-0422-9
Referencias
- ^ a b c d "John Darlington" .
- ^ "Un enfoque semántico para la mejora automática del programa [microforma]" .
- ^ Darlington, J .; Burstall, RM (1976). "Un sistema que mejora automáticamente los programas" . Acta Informatica . 6 : 41–60. doi : 10.1007 / BF00263742 . S2CID 787425 .
- ^ "Un sistema de transformación para el desarrollo de programas recursivos" . CiteSeerX 10.1.1.19.4684 . Cite journal requiere
|journal=
( ayuda ) - ^ Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti (2020). "Transformaciones de plegar / desplegar para lógica de punto fijo" . Herramientas y algoritmos para la construcción y análisis de sistemas . Apuntes de conferencias en Ciencias de la Computación. 12079 . págs. 195-214. doi : 10.1007 / 978-3-030-45237-7_12 . ISBN 978-3-030-45236-0. S2CID 216028267 .
- ^ Consideraciones de diseño para un lenguaje de programación funcional. RM Burstall. Infotech State of the Art Conference: The Software Revolution, Copenhague, octubre de 1977
- ^ "La implementación de lenguajes de programación funcionales prácticos, Nigel Perry, tesis doctoral, Universidad de Londres, 1991" . CiteSeerX 10.1.1.628.7053 . Cite journal requiere
|journal=
( ayuda ) - ^ "El diseño e implementación de ALICE - una máquina de reducción de gráficos paralelos" .
- ^ Darlington, John; Reeve, Mike; Wright, Sue (1990). "Lenguajes declarativos y transformación de programas para la programación de sistemas paralelos: un caso de estudio" . Simultaneidad: práctica y experiencia . 2 (3): 149-169. doi : 10.1002 / cpe.4330020302 .
- ^ Darlington, John; Guo, Yi-ke; Para, Hing Wing; Yang, Jin (1995). "Esqueletos funcionales para la coordinación paralela" . Procesamiento paralelo EURO-PAR '95 . Apuntes de conferencias en Ciencias de la Computación. 966 . págs. 55–66. doi : 10.1007 / BFb0020455 . ISBN 978-3-540-60247-7.
- ^ "Una arquitectura para una Internet de próxima generación basada en servicios web y utilidades informáticas" .
- ^ "Pago y negociación para Grid y Web de próxima generación" .
- ^ "La visión imperial puede remodelar la red" .
- ^ "Apertura del Centro de Investigación en Computación Paralela - 1994" .
- ^ "Bienvenido al London e-Science Centre (LeSC)" .
- ^ "Proyectos" .
- ^ "Abordar la complejidad en aplicaciones informáticas de alto rendimiento" .