Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03475157n
Noun Named Entity
IT
Alan Bundy  Alan R. Bundy  Alan Richard Bundy
EN
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
uomo
AWARD RECEIVED
EN
Herbrand Award
EN
IJCAI Award for Research Excellence
membro della Royal Society
EN
Fellow of the Royal Society of Edinburgh
EN
Fellow of the Royal Academy of Engineering
+3 relations
COUNTRY OF CITIZENSHIP
Regno Unito
DOCTORAL ADVISOR
Reuben Goodstein
DOCTORAL STUDENT
Toby Walsh
Simon Colton
Frank van Harmelen
EN
Predrag Janičić
EN
Lincoln Wallen
EDUCATED AT
Università di Leicester
EMPLOYER
Università di Edimburgo
GIVEN NAME
Alan
LANGUAGES SPOKEN, WRITTEN OR SIGNED
inglese
MEMBER OF
Royal Society
Association for the Advancement of Artificial Intelligence
Royal Society di Edimburgo
OCCUPATION
informatico
professeur des universités
PLACE OF BIRTH
Isleworth
RESIDENCE
Edimburgo
SEX OR GENDER
maschio
Wikidata
IT
Alan Bundy
Wikidata Alias
IT
Alan R. Bundy, Alan Richard Bundy

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License