Toby Walsh
Toby Walsh est professeur en intelligence artificielle au NICTA[1] (National ICT Australia, principal pôle de recherche australien en technologies de l'information et de la communication) et à l'Université de Nouvelle-Galles du Sud. il a été directeur scientifique du NICTA, et a obtenu une maîtrise universitaire en physique théorique et en mathématiques à l'Université de Cambridge, ainsi qu'une maîtrise ès sciences et un doctorat en intelligence artificielle de l'Université d’Édimbourg. Il est reconnu pour ses contributions dans les domaines de la programmation par contraintes et des problèmes SAT.
Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires ().
Pour améliorer la vérifiabilité de l'article ainsi que son intérêt encyclopédique, il est nécessaire, quand des sources primaires sont citées, de les associer à des analyses faites par des sources secondaires.
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse |
Alan Bundy, Fausto Giunchiglia (d) |
| Site web | |
| Distinctions | Liste détaillée AAAI Fellow () Membre de l'Académie australienne des sciences () ACM Fellow () Membre de l'AAAS () Fellow de l'académie australienne des technologies et des sciences de l'ingénierie (d) () |
Il a occupé des postes de recherche en Angleterre, Écosse, Irlande, France, Italie, Suède et Australie.
Il est actuellement en poste au sein du conseil exécutif de l'Association for the Advancement of Artificial Intelligence[2].
Walsh est rédacteur en chef du Journal of Artificial Intelligence Research[3] et de AI Communications. Il participe à plusieurs cycles de conférences dans le domaine de l'intelligence artificielle, dont l'International Joint Conference on Artificial Intelligence[4].
Il est coauteur du Handbook of Constraint Programming[5] et du Handbook of Satisfiability[6]
Distinctions et récompenses
modifierEn 2003, Toby Walsh zqr élu Compagnon du European Coordinating Committee for Artificial Intelligence [7] pour ses « contributions significatives et régulières dans le domaine de l'intelligence artificielle ».
En 2008, il est élu Compagnon de l'Association for the Advancement of Artificial Intelligence[8] pour des « contributions significatives et régulières dans le domaine de la déduction automatisée et de la programmation par contrainte, et pour services extraordinaires rendus à la communauté de l'intelligence artificielle ».
Notes et références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Toby Walsh » (voir la liste des auteurs).
- (en) « Page personnelle sur le site du NICTA », NICTA.
- (en) « AAAI Officials », Association for the Advancement of Artificial Intelligence.
- (en) « Masthead », Journal of Artificial Intelligence Research.
- « Cérémonie d'ouverture », VideoLectures.net.
- (en) « Handbook of Constraint Programming », Elsevier
- (en) « Handbook of Satisfiability », IOS Press
- (en) « ECCAI Fellows, liste des compagnons élus »
- (en) « AAAI Fellows, liste des compagnons élus », AAAI
Liens externes
modifier
- (en) Site officiel
- Ressources relatives à la recherche :
