[1] He is a Laureate fellow, and professor of artificial intelligence in the UNSW School of Computer Science and Engineering[2] at the University of New South Wales[3] and Data61 (formerly NICTA[4]).

[9] He proposed the idea of Turing red flag laws, which require any AI system to identify itself as a computer program to prevent human confusion.

The books are available in ten different languages: Chinese, English, German, Korean, Polish, Romanian, Russian, Taiwanese, Turkish and Vietnamese.

[20] In 2016, he was elected a Fellow of the Australian Academy of Science,[21] won the NSW Premier's Prize for Excellence in Engineering and ICT,[22] and was made Scientia Professor at UNSW.

[23] In 2015, the Association for Constraint Programming presented him with their Research Excellence Award,[24] which identifies and honours the most influential people in the field.

[25] In 2008, he was elected a Fellow of the Association for the Advancement of Artificial Intelligence[26] for "significant and sustained contributions to automated deduction and constraint programming, and for extraordinary service to the AI community".