Cet article ne s'appuie pas, ou pas assez, sur des sourcessecondaires ou tertiaires().
.jpg)
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | Alan Bundy, Fausto Giunchiglia(d)  |
| Site web | |
| Distinctions |
Toby Walsh est professeur enintelligence artificielle au NICTA[1] (National ICT Australia, principal pôle de recherche australien entechnologies 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 unemaîtrise universitaire enphysique théorique et enmathé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 laprogrammation par contraintes et desproblèmes SAT.
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 estrédacteur en chef duJournal of Artificial Intelligence Research[3] et deAI 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 duHandbook of Constraint Programming[5] et duHandbook of Satisfiability[6]
En 2003, Toby Walsh zqr élu Compagnon duEuropean 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 ».
: