David HD Warren es un científico informático que trabajó principalmente en programación lógica y, en particular, en el lenguaje de programación Prolog en las décadas de 1970 y 1980. Warren escribió el primer compilador para Prolog, y el entorno de ejecución Warren Abstract Machine para Prolog lleva su nombre.
Vida temprana y educación
Warren recibió un doctorado [1] en inteligencia artificial de la Universidad de Edimburgo en 1977 bajo la dirección de Robert Kowalski y (un segundo asesor) Donald Michie . [2]
Carrera
Warren trabajó para el Centro de Inteligencia Artificial de SRI International en la década de 1980. [3] [4]
Fundó la empresa Quintus Computer Systems en 1983 con William Kornfeld, Lawrence Byrd, Fernando Pereira y Cuthbert Hurd para comercializar el compilador Prolog, Quintus Prolog . [5] Quintus fue vendido a Intergraph Corporation en 1989. [6]
También ocupó un puesto académico en el Departamento de Ciencias de la Computación de la Universidad de Bristol . [7]
Referencias
- ^ Warren, David HD (1978). "Lógica aplicada: su uso e implementación como herramienta de programación". hdl :1842/6648.
- ^ David HD Warren en el Proyecto de Genealogía Matemática -- (consultado el 10 de agosto de 2014)
- ^ "David HD Warren". Alumno del Centro de Inteligencia Artificial . Centro de Inteligencia Artificial . Consultado el 26 de mayo de 2010 .
- ^ Nils J. Nilsson (1984). "Introducción a la edición en microfichas COMTEX de las notas técnicas del SRI Artificial Intelligence Center". Revista AI . Vol. 5, núm. 1. pág. 49.
- ^ El informe sobre inteligencia artificial. Publicaciones sobre inteligencia artificial. 1983.
- ^ David E. Weisberg (2008). "Intergraph" (PDF) . La revolución del diseño de ingeniería: las personas, las empresas y los sistemas informáticos que cambiaron para siempre la práctica de la ingeniería . Archivado desde el original (PDF) el 7 de julio de 2010. Consultado el 26 de mayo de 2010 .
- ^ Raina, S.; Warren, DHD (1992). "Patrones de tráfico en un multiprocesador escalable mediante emulación de transputer". Actas de la 25.ª Conferencia Internacional de Hawái sobre Ciencias de Sistemas . IEEE . pp. 267–276 vol.1. doi :10.1109/HICSS.1992.183173. ISBN. 0-8186-2420-5.S2CID62278813 .
