Toby Walsh
Toby Walsh | |
---|---|
Born | 1964 |
Nationality | British |
Alma mater | University of Edinburgh |
Scientific career | |
Fields | Artificial Intelligence, Automated reasoning |
Institutions | NICTA |
Doctoral advisor | Alan Bundy |
Toby Walsh is a professor in artificial intelligence at NICTA[1] and the University of New South Wales[2] He has served as Scientific Director of NICTA, Australia's centre of excellence for ICT research.
He received an M.A. degree in theoretical physics and mathematics from the University of Cambridge and a M.Sc. and Ph.D. degree in artificial intelligence from the University of Edinburgh. He is noted for his work in constraint programming and propositional satisfiability.
He has held research positions in England, Scotland, Ireland, France, Italy, Sweden and Australia.
He currently serves on the Executive Council on the Association for the Advancement of Artificial Intelligence.[3]
He has been Editor-in-Chief [4] of the Journal of Artificial Intelligence Research, and of AI Communications. He was chaired several conferences in the area of artificial intelligence including the International Joint Conference on Artificial Intelligence.[5]
He is Editor of the Handbook of Constraint Programming,[6] and of the Handbook of Satisfiability.[7]
Honors and award
In 2008, he was elected a Fellow of the Association for the Advancement of Artificial Intelligence [8] for "significant and sustained contributions to automated deduction and constraint programming, and for extraordinary service to the AI community".
In 2003, he was elected a Fellow of the European Coordinating Committee for Artificial Intelligence [9] in recognition of "significant, sustained contributions to the field of artificial intelligence".
References
- ^ "NICTA personal webpage". NICTA.
- ^ "UNSW webpage". University of New South Wales.
- ^ "AAAI Officials". Association for the Advancement of Artificial Intelligence.
- ^ "Masthead". Journal of Artificial Intelligence Research.
- ^ "Opening Ceremony". VideoLectures.net.
- ^ "Handbook of Constraint Programming". Elsevier.
- ^ "Handbook of Satisfiability". IOS Press.
- ^ "AAAI Fellow". AAAI.
- ^ "ECCAI Fellow".