Alan Bundy
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant l’informatique et un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Naissance
Nationalité
Domicile
Formation
Alan Bundy
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'Édimbourg (depuis ) |
|---|---|
| Membre de |
Royal Society () Association for Computing Machinery () UK Computing Research Committee (d) Royal Society of Edinburgh Association for the Advancement of Artificial Intelligence |
| Directeur de thèse | |
| Distinctions | Liste détaillée AAAI Fellow () Membre de la Royal Society of Edinburgh () Prix Herbrand () IJCAI Award for Research Excellence () Commandeur de l'ordre de l'Empire britannique () ACM Fellow () Fellow of the Royal Academy of Engineering Fellow of the Institution of Engineering and Technology (en) Fellow of the British Computer Society EurAI Fellow |
Alan Richard Bundy, né le , est professeur à l'École des sciences informatiques de l'Université d'Édimbourg[1], 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[2],[3],[4],[5].
