BabelNet

bn:03475157n

Noun Named Entity

Alan Bundy Alan R. Bundy Alan Richard Bundy

Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Wikipedia

Relations

Sources

IS A

humano

AWARD RECEIVED

Prêmio Herbrand

Prêmio IJCAI por Excelência em Pesquisa

membro da Royal Society

Fellow of the Royal Society of Edinburgh

Fellowship of the Royal Academy of Engineering

+3 relations

COUNTRY OF CITIZENSHIP

DOCTORAL ADVISOR

DOCTORAL STUDENT

EDUCATED AT

Universidade de Leicester

EMPLOYER

Universidade de Edimburgo

GIVEN NAME

Alan

LANGUAGES SPOKEN, WRITTEN OR SIGNED

inglês

MEMBER OF

Royal Society

Association for the Advancement of Artificial Intelligence

Sociedade Real de Edimburgo

OCCUPATION

cientista da computação

professeur des universités

PLACE OF BIRTH

Isleworth

RESIDENCE

Edimburgo

SEX OR GENDER

masculino

Wikidata

Alan Bundy

Wikidata Alias

Alan R. Bundy, Alan Richard Bundy