Skip navigation
The Australian National University
photo of John

Emeritus Professor John SLANEY

Position:Emeritus Professor
Email:JavaScript must be enabled to display this email address.
Personal website:
Phone:6267 6283 / 51640
Building:Hanna Neumann (145)
Groups:CS, LC, Logic, NICTA
Staff category:Adjunct

Research interests:


  • Relevant logic
  • Other substructural logics
  • Paraconsistency
  • Temporal logic
  • MaGIC
Automatic theorem proving
  • ROO (Radically Optimized Otter)
  • SCOTT (Semantically Constrained Otter)
  • Miscellaneous contributions
Artificial Intelligence
  • Constraint satisfaction
  • Search
  • Planning


Professor in the Computer Sciences Laboratory, Research School of Information Sciences and Engineering. Formerly head of Automated Reasoning Group (1991 to 2008).

Former leader of the Logic and Computation Program in NICTA (National ICT Centre of Excellence, Australia).

Instigator and convenor of the annual Logic Summer School.


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 a fantastic place to be a researcher, Canberra is a better city to live in than you would believe from listening to Australians from anywhere else, NICTA is the most exciting research lab I know, 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).

Research opportunities with Emeritus Professor John SLANEY

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4