David HD Warren - David H. D. Warren
David HD Warren | |
---|---|
Alma mater | Universidade de Edimburgo |
Conhecido por | Warren Abstract Machine |
Carreira científica | |
Instituições |
SRI International Quintus Computer Systems University of Bristol |
Tese | Lógica aplicada - seu uso e implementação como ferramenta de programação (1977) |
Orientador de doutorado |
Donald Michie Robert Kowalski |
David HD Warren é um cientista da computação que trabalhou principalmente com programação lógica e, em particular, com a linguagem de programação Prolog nas décadas de 1970 e 1980. Warren escreveu o primeiro compilador para Prolog, e o ambiente de execução Warren Abstract Machine para Prolog recebeu seu nome.
Infância e educação
Warren recebeu um Ph.D. em inteligência artificial pela Universidade de Edimburgo em 1977 sob o orientador Robert Kowalski , e (um segundo orientador) Donald Michie .
Carreira
Warren trabalhou para o Artificial Intelligence Center da SRI International na década de 1980.
Fundou a empresa Quintus Computer Systems em 1983 com William Kornfeld, Lawrence Byrd, Fernando Pereira e Cuthbert Hurd para comercializar o compilador Prolog. A Quintus foi vendida para a Intergraph Corporation em 1989.
Ele também ocupou uma posição acadêmica no Departamento de Ciência da Computação da Universidade de Bristol .
Referências
Este artigo biográfico relacionado a um especialista em informática é um esboço . Você pode ajudar a Wikipedia expandindo-a . |