Alan Bundy
Alan Richard Bundy, né le , récompensé par un CBE, Fellow of the Royal Society, FRSE, Fellow of the Royal Academy of Engineering (en)[1], est professeur à l'École des sciences informatiques de l'Université d'Édimbourg[2], 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[3], [4],[5],[6].
Pour les articles homonymes, voir Bundy.
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).
- « List of Fellows », raeng.org.uk, Royal Academy of Engineering
- 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 », , 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, no 2, , p. 185 (DOI 10.1016/0004-3702(93)90079-Q)
- Alan Bundy, Computer modelling of mathematical reasoning, (OCLC 59289386, lire en ligne)
Portail de l’informatique