Alan Bundy

informaticien britannique

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].

Carrière et recherche

modifier

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

modifier
  1. http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
  2. http://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 », , 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, no 2,‎ , p. 185 (DOI 10.1016/0004-3702(93)90079-Q)
  5. Alan Bundy, Computer modelling of mathematical reasoning, (OCLC 59289386, lire en ligne)

Liens externes

modifier