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

  1. « List of Fellows », raeng.org.uk, Royal Academy of Engineering
  2. http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
  3. http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
  4. 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 »
  5. 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)
  6. Alan Bundy, Computer modelling of mathematical reasoning, (OCLC 59289386, lire en ligne)
  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.