| dbo:abstract
|
- ألان بندي (بالإنجليزية: Alan Bundy) هو عالم حاسوب بريطاني، ولد في 18 مايو 1947 في ايزلورث في المملكة المتحدة. (ar)
- 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. (en)
- 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. (de)
- 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 . (fr)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9567 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthName
| |
| dbp:birthPlace
|
- Isleworth, West London, England (en)
|
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:field
| |
| dbp:name
| |
| dbp:prizes
|
- (en)
- AAAI Fellow (en)
- ACM Fellow (en)
- Herbrand Award (en)
- IJCAI Award (en)
|
| dbp:thesisTitle
|
- The Metatheory of the Elementary Equation Calculus (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitutions
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- ألان بندي (بالإنجليزية: Alan Bundy) هو عالم حاسوب بريطاني، ولد في 18 مايو 1947 في ايزلورث في المملكة المتحدة. (ar)
- 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. (en)
- 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 . (fr)
- 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). (de)
|
| rdfs:label
|
- Alan Bundy (en)
- ألان بندي (ar)
- Alan Bundy (de)
- Alan Bundy (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:academicAdvisor
of | |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:academicAdvisors
of | |
| is dbp:doctoralAdvisor
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
