Alan Bundy - Alan Bundy
Alain Bundy
| |
---|---|
Née |
Alan Richard Bundy
18 mai 1947 |
Nationalité | Britanique |
mère nourricière | Université de Leicester (BSc, PhD) |
Récompenses | |
Carrière scientifique | |
Des champs | |
Établissements | Université d'Édimbourg |
Thèse | La métathéorie du calcul des équations élémentaires (1971) |
Conseiller de doctorat | Ruben Goodstein |
Doctorants | |
Site Internet | pages d'accueil |
Alan Richard Bundy CBE FRS FRSE FREng est professeur à la School of Informatics de l' Université d'Édimbourg , connu pour ses contributions au raisonnement automatisé , en particulier à la planification des preuves, l'utilisation du raisonnement à méta-niveaux pour guider la recherche de preuves .
Éducation
Alan Bundy a fait des études de mathématicien, obtenant un baccalauréat spécialisé en mathématiques en 1968 de l' Université de Leicester et un doctorat en logique mathématique en 1971, également de Leicester.
Carrière et recherche
Depuis 1971, Bundy a travaillé à l' Université d'Édimbourg : d'abord dans l'unité « Metamathematics », devenue en 1972 le Département de logique computationnelle, en 1974 a été intégré au nouveau Département d'intelligence artificielle, et en 1998 a été intégré au nouveau École d'informatique . De 1971 à 1973, il a été chercheur associé à la bourse du professeur B. Meltzer Science and Engineering Research Council (SERC) Théorème de preuve par ordinateur ; en 1973, il est nommé maître de conférences des universités ; en 1984, il est promu lecteur ; en 1987, il a été promu professeur associé; et en 1990, il a été promu professeur. De 1987 à 1992, il a été titulaire d'une bourse SERC Senior . De 1998 à 2001, il a été chef de la nouvelle division (devenue par la suite École) d' informatique à Édimbourg.
De 2000 à 2005, il a été fondateur et organisateur du UK Computing Research Committee, qui joue un rôle de plaidoyer pour la recherche informatique au Royaume-Uni. De 2010 à 2012, il a été vice-président et administrateur de la British Computer Society avec une responsabilité particulière pour l'Academy of Computing.
Honneurs et récompenses
Bundy a été membre fondateur de l' AAAI en 1990 et a été élu membre de la Royal Society of Edinburgh (FRSE) en 1996, membre fondateur du SSAISB en 1997, membre fondateur du Comité européen de coordination pour l'intelligence artificielle (ECCAI) en 1999, un membre de la British Computer Society en 2004, et membre de l' Institution of Electrical Engineers en 2005. Il a été élu membre de la Royal Academy of Engineering (FREng) en 2008. Il a été élu membre de l' ACM en 2014 « Pour contributions à l'intelligence artificielle , le raisonnement automatisé, la formation et l'évolution des représentations." .
Il est le lauréat du prix IJCAI 2007 pour l' excellence en recherche et du prix Herbrand pour ses contributions remarquables à la déduction automatisée .
Il a été l'un des 41 professeurs sélectionnés dans le monde pour recevoir l'un des Hewlett Packard Labs Innovation Research Awards 2008.
Bundy a été nommé CBE lors des honneurs du Nouvel An 2012 pour services rendus à l'informatique. Il a été élu membre de la Royal Society (FRS) en 2012 , son certificat d'élection se lit
Alan Bundy a apporté des contributions de premier plan au raisonnement automatisé ainsi qu'à la formation et à l'évolution automatisées des représentations de la connaissance. Il a développé de nouvelles techniques avec une efficacité, une portée et un comportement améliorés. Ses travaux sur le raisonnement automatisé ont trouvé une application dans le développement de systèmes matériels et logiciels, où ils ont augmenté le niveau d'automatisation. Elle a réduit le niveau de compétence et le temps de développement requis pour vérifier les programmes informatiques et a été reprise par l'industrie. Ses travaux sur l'évolution des représentations facilitent la communication entre les agences ayant différentes représentations des connaissances associées.
Les références