Prof John Slaney

MA *Cambridge*, PhD *ANU*
College of Engineering & Computer Science
T: 6267 6283 / 6125 8607

Areas of expertise

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

Research interests

  • 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 idyllic place to be a researcher, Canberra is a better city to live in than you would believe from listening to Australians from anywhere else, and I actually get paid for thinking about logic and hacking code! That's as good as it gets.

Other likes: travel, good food (enthusiastic but inexpert cook), classical music (ditto pianist).

Dislikes: no really interesting ones (sorry).


Return to top

Updated:  25 October 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers