John Slaney

Professor Emeritus


  • 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

bars search times arrow-up