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 de Prolog, y el entorno de ejecución de Warren Abstract Machine para Prolog lleva su nombre.
David HD Warren | |
---|---|
alma mater | Universidad de Edimburgo |
Conocido por | Máquina abstracta de Warren |
Carrera científica | |
Instituciones | SRI International Quintus Computer Systems Universidad de Bristol |
Tesis | Lógica aplicada: su uso e implementación como herramienta de programación (1977) |
Asesor de doctorado | Donald Michie Robert Kowalski |
Temprana edad y educación
Warren recibió un Ph.D. [1] en inteligencia artificial de la Universidad de Edimburgo en 1977 con el asesor Robert Kowalski y (un segundo asesor) Donald Michie . [2]
Carrera profesional
Warren trabajó para el Centro de Inteligencia Artificial en 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. [5] Quintus se vendió a Intergraph Corporation en 1989. [6]
También ha ocupado 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 . Cite journal requiere
|journal=
( ayuda ) - ^ David HD Warren en el Mathematics Genealogy Project - (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 Microfichas COMTEX de las Notas Técnicas del Centro de Inteligencia Artificial SRI" . Revista AI . 5 (1). pag. 49.
- ^ El informe de inteligencia artificial . Publicaciones de 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 . 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 XXV Conferencia Internacional de Ciencias de Sistemas de Hawái . IEEE . págs. 267–276 vol.1. doi : 10.1109 / HICSS.1992.183173 . ISBN 0-8186-2420-5. S2CID 62278813 .