Alan Bundy
http://dbpedia.org/resource/Alan_Bundy an entity of type: Thing
ألان بندي (بالإنجليزية: Alan Bundy) هو عالم حاسوب بريطاني، ولد في 18 مايو 1947 في ايزلورث في المملكة المتحدة.
rdf:langString
Alan Richard Bundy CBE FRS FRSE FREng 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.
rdf:langString
Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves .
rdf:langString
Alan Richard Bundy (* 18. Mai 1947 in Isleworth) ist ein britischer Informatiker und Logiker. Er befasst sich mit Maschinengestütztem Beweisen. Bundy wurde 1971 an der University of Leicester bei Reuben Goodstein promoviert (The Metatheory of the Elementary Equation Calculus). Ab 1971 war er an der Universität Edinburgh zunächst in der Gruppe für automatische Beweise von Bernard Meltzer. 1973 wurde er Lecturer, 1984 Reader, 1987 Professorial Fellow und 1990 Professor. 1998 bis 2001 war er dort Leiter der Abteilung Informatik (School of Informatics).
rdf:langString
rdf:langString
Alan Bundy
rdf:langString
ألان بندي
rdf:langString
Alan Bundy
rdf:langString
Alan Bundy
rdf:langString
Alan Bundy
rdf:langString
Alan Bundy
rdf:langString
Isleworth, West London, England
xsd:date
1947-05-18
xsd:integer
6320384
xsd:integer
1094518080
rdf:langString
The Metatheory of the Elementary Equation Calculus
xsd:integer
1971
xsd:date
1947-05-18
rdf:langString
Alan Richard Bundy
rdf:langString
rdf:langString
ألان بندي (بالإنجليزية: Alan Bundy) هو عالم حاسوب بريطاني، ولد في 18 مايو 1947 في ايزلورث في المملكة المتحدة.
rdf:langString
Alan Richard Bundy CBE FRS FRSE FREng 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.
rdf:langString
Alan Richard Bundy (* 18. Mai 1947 in Isleworth) ist ein britischer Informatiker und Logiker. Er befasst sich mit Maschinengestütztem Beweisen. Bundy wurde 1971 an der University of Leicester bei Reuben Goodstein promoviert (The Metatheory of the Elementary Equation Calculus). Ab 1971 war er an der Universität Edinburgh zunächst in der Gruppe für automatische Beweise von Bernard Meltzer. 1973 wurde er Lecturer, 1984 Reader, 1987 Professorial Fellow und 1990 Professor. 1998 bis 2001 war er dort Leiter der Abteilung Informatik (School of Informatics). 2011 erhielt er den IJCAI Award for Research Excellence, 2003 den Donald E. Walker Distinguished Service Award und 2007 den Herbrand Award. 2012 wurde er Fellow der Royal Society, 1996 der Royal Society of Edinburgh, 2005 der IEEE und 2012 CBE. Er ist Fellow der Royal Academy of Engineering und der Association for Computing Machinery (ACM). 2000 war er Gründer des UK Computing Research Committee und ab 2010 Vizepräsident der British Computer Society.
rdf:langString
Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves .
rdf:langString
rdf:langString
rdf:langString
AAAI Fellow
rdf:langString
ACM Fellow
rdf:langString
Herbrand Award
rdf:langString
IJCAI Award
xsd:nonNegativeInteger
9567
rdf:langString
Alan Richard Bundy