Alan Bundy

Biographie
Naissance	18 mai 1947 (77 ans); Isleworth
Nationalité	britannique
Domicile	Édimbourg
Formation	Université de Leicester (baccalauréat universitaire ès sciences) (1965-1968); Université de Leicester (doctorat) (1968-1971)
Activités	Informaticien, professeur d'université, chercheur en intelligence artificielle
A travaillé pour	Université d'Édimbourg (depuis 1971)
Membre de	Royal Society (2012); Association for Computing Machinery (2015); UK Computing Research Committee (d); Royal Society of Edinburgh; Association for the Advancement of Artificial Intelligence
Directeur de thèse	Reuben Goodstein
Distinctions	Liste détaillée AAAI Fellow (1990); Membre de la Royal Society of Edinburgh (1996); Prix Herbrand (2007); IJCAI Award for Research Excellence (2007); Commandeur de l'ordre de l'Empire britannique (2012); ACM Fellow (2015); Fellow of the Royal Academy of Engineering; Fellow of the Institution of Engineering and Technology (en); Fellow of the British Computer Society; EurAI Fellow

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.

Alan Richard Bundy, né le 18 mai 1947, 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].

Carrière et recherche

Depuis 1971, Bundy travaille à l'Université d'Édimbourg : d'abord dans l'unité "Métamathématiques", qui devient en 1972 le Department of Computational Logic, puis est intégré en 1974 dans le nouveau Département d'Intelligence Artificielle et en 1998 à la nouvelle École de l'informatique.

De 2000 à 2005, il a fondé et dirigé le UK Computing Research Committee, qui joue un rôle de défenseur de la recherche informatique au Royaume-Uni. Depuis 2010, il est vice-président et administrateur de la British Computer Society avec une responsabilité particulière pour l'Academy of Computing.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Alan Bundy » (voir la liste des auteurs).

↑ http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
↑ http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
↑ Alan Richard Bundy, 9th International Conference on Automated Deduction, vol. 310, coll. « Lecture Notes in Computer Science », 1988, 111–120 p. (ISBN 978-3-540-19343-2, DOI 10.1007/BFb0012826), « The use of explicit plans to guide inductive proofs »
↑ Bundy, Stevens, Van Harmelen et Ireland, « Rippling: A heuristic for guiding inductive proofs », Artificial Intelligence, vol. 62, n^o 2,‎ 1993, p. 185 (DOI 10.1016/0004-3702(93)90079-Q)
↑ Alan Bundy, Computer modelling of mathematical reasoning, 1986 (OCLC 59289386, lire en ligne)

Liens externes

Ressources relatives à la recherche :
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Japon
- CiNii
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Australie
- Norvège
- Croatie
- WorldCat

Portail de l’informatique

[uni-1] ttp://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website

[2] ttp://dream.inf.ed.ac.uk/ Mathematical Reasoning Group

[3] Alan Richard Bundy, 9th International Conference on Automated Deduction, vol. 310, coll. « Lecture Notes in Computer Science », 1988, 111–120 p. (ISBN 978-3-540-19343-2, DOI 10.1007/BFb0012826), « The use of explicit plans to guide inductive proofs »

[4] Bundy, Stevens, Van Harmelen et Ireland, « Rippling: A heuristic for guiding inductive proofs », Artificial Intelligence, vol. 62, n^o 2,‎ 1993, p. 185 (DOI 10.1016/0004-3702(93)90079-Q)

[rea-5] Alan Bundy, Computer modelling of mathematical reasoning, 1986 (OCLC 59289386, lire en ligne)

[1]

[2]

[3]

[4]

[5]

Alan Bundy

Carrière et recherche

Notes et références

Liens externes

Information related to Alan Bundy

Portal di Ensiklopedia Dunia