Fields of Research (FoR)
Artificial Intelligence and Image Processing not elsewhere classified, Optimisation, Analysis of Algorithms and Complexity, Computational Logic and Formal Languages, Mathematical Logic and Formal Languages, Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)Biography
Toby Walsh is Laureate Fellow and Scientia Professor of Artificial Intelligence at the Department of Computer Science and Engineering at the University of New South Wales, research group leader at Data61, adjunct professor at QUT, external Professor of the Department of Information Science at Uppsala University, an honorary fellow of the School of Informatics at Edinburgh University and an Associate Member of the Australian Human Rights...view more
Toby Walsh is Laureate Fellow and Scientia Professor of Artificial Intelligence at the Department of Computer Science and Engineering at the University of New South Wales, research group leader at Data61, adjunct professor at QUT, external Professor of the Department of Information Science at Uppsala University, an honorary fellow of the School of Informatics at Edinburgh University and an Associate Member of the Australian Human Rights Institute at UNSW.
He was Editor-in-Chief of the Journal of Artificial Intelligence Research, and of AI Communications. He is on the editorial board of the Journal of the ACM, Journal of Automated Reasoning and the Constraints journal. He has been elected a fellow of the Australian Academy of Science, the Association of Computing Machinery (ACM), the American Association for the Advancement of Science, the Association for the Advancement of Artificial Intelligence, and the European Coordinating Committee for AI in recognition of his reseach in artificial intelligence and service to the community. He has won the NSW Premier's Prize for Excellende in Engineering and ICT, the Humbolt Award, the Research Excellence Award of the Association for Constraint Programming and the .IJCAI Donald E. Walker Distinguished Service Award. He has been Secretary of the Associtation for Constraint Programming (ACP) and is Editor of CP News, the newsletter of the ACP. He is one of the Editors of the Handbook for Constraint Programming, and the Handbook for Satisfiability.
He has been Program and Conference Chair of the main conferences in Constraint Programming, Automated Reasoning and Artificial Intelligence.
My Research Supervision
Areas of supervision
My background is mostly in optimization and mechanism design and I am currently working on an ARC Laureate project exploring trustworthy AI. Trust is a complex phenomenon depending on a variety of features such as fairness, explainability, auditability, and transparency. Therefore, first and foremost, I am looking for PhD students wanting to study issues such as fairness, explainability, auditability, verification and privacy in optimisation and mechanism design (e.g. for domains like resource allocation and facility location problems). I have limited expertise in machine learning. Here, my limited background is to Boolean neural networks, and I might be willing to consider supervising a PhD student wanting to look at, say, explainability and fairness in such methods. However, first and foremost, I'm looking to supervise students in more core competencies of optimisation and mechanism design.
Location
Contact
Publications
ORCID as entered in ROS
https://orcid.org/0000-0003-2998-8668