|Alma Mater||University of Edinburgh,University of Cambridge|
|Fields||Artificial Intelligence,Automated reasoning|
|Institution||University of New South Walesand Data61, (formerlyNICTA)
||Doctoral Advisor||Alan Bundy|
Events Occured in Scienctist Life
In 2015, he helped release an open letter calling for a ban on offensive autonomous weapons that attracted over 20,000 signatures.
In 2017, he organized an open letter calling for a ban signed by over 100 founders of AI and Robotics companies including Elon Musk, Mustafa Suleyman and Jüergen Schmidhuber.
Also in 2017, he organized a letter to the Prime Minister of Australia calling for Australia to negotiate towards a ban signed by over one hundred researchers from Australia working on artificial intelligence.
In 2018, he chaired the Expert Working Group of the Australian Council of Learned Academies (ACOLA) preparing a Horizon Scanning Report on the "Deployment of Artificial Intelligence and what it presents for Australia" at the request of Australia’s Chief Scientist, Dr Alan Finkel, and on behalf of the Commonwealth Science Council.
In 2016, he was elected a Fellow of the Australian Academy of Science, won the NSW Premier's Prize for Excellence in Engineering and ICT, and was made Scientia Professor at UNSW.
In 2015, the Association for Constraint Programming presented him with their Research Excellence Award which identifies and honours the most influential people in the field.
In 2014, he won a Humboldt Prize.
In 2008, he was elected a Fellow of the Association for the Advancement of Artificial Intelligence 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 Association for Artificial Intelligence in recognition of "significant, sustained contributions to the field of artificial intelligence".