Toby Walsh
Toby Walsh | |
---|---|
Born |
1964 UK |
Residence | Sydney, Australia |
Nationality | British |
Fields | Artificial Intelligence, Automated reasoning |
Institutions | University of New South Wales and Data61, formerly NICTA |
Alma mater | University of Edinburgh, University of Cambridge |
Doctoral advisor | Alan Bundy |
Toby Walsh FAA[1] is a professor of artificial intelligence at the University of New South Wales[2] and Data61 (formerly NICTA[3]). 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 Australia, England, Ireland, Italy France, Germany, Scotland, and Sweden.
He currently serves on the Executive Council on the Association for the Advancement of Artificial Intelligence.[4]
He has been Editor-in-Chief [5] 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.[6]
He is Editor of the Handbook of Constraint Programming,[7] and of the Handbook of Satisfiability.[8]
In 2015, he helped release an open letter[9] calling for a ban on offensive autonomous weapons that attracted over 20,000 signatures. He later gave a talk at TEDxBerlin on this topic.[10]
Honors and award
In 2016, he was elected to the Australian Academy of Science.[11]
In 2014, he won a Humboldt Prize.[12]
In 2008, he was elected a Fellow of the Association for the Advancement of Artificial Intelligence [13] 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 [14] in recognition of "significant, sustained contributions to the field of artificial intelligence".
References
- ↑ "Australian Academy of Science announces 2016 Fellows".
- ↑ "UNSW webpage". University of New South Wales.
- ↑ "NICTA personal webpage". NICTA.
- ↑ "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.
- ↑ "Open letter hosted by Future of Life Institute".
- ↑ "Video from TEDxBerlin".
- ↑ "Australian Academy of Science announces 2016 Fellows".
- ↑ "Announcement at NICTA's Optimisation Research Group website".
- ↑ "AAAI Fellow". AAAI.
- ↑ "ECCAI Fellow".