John Slaney

Professor Emeritus

Picture of John Slaney

Hanna Neumann Building 145


+61 2 6125 8607

Computing Foundations


Google Scholar


  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Optimisation
  • Computational Logic And Formal Languages
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Artificial Intelligence And Image Processing


  • Logic, especially nonclassical logics
  • Automated reasoning
  • Artificial Intelligence, especially constraint satisfaction, search and planning


I was born in England but escaped, taught logic in philosophy departments for several years, escaped again and moved to Canberra in 1988 where I have been automating reasoning ever since. I like doing this. The ANU is an amazing place to be a researcher, Canberra is a better city to live in than you would believe from listening to Australians from anywhere else, there are colleagues doing exciting research everywhere I look, and I actually get paid for thinking about logic and hacking code! That’s as good as it gets.

Activities & Awards

See my home page

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

bars search times arrow-up