John Slaney

Position

Professor in the Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University.

Head of Automated Reasoning Group 1991 - 2008.

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

Author of a cool web site, providing LOGIC FOR FUN

Instigator and convenor of the annual LOGIC SUMMER SCHOOL

Research Interests

Logic: 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
Other things: Algebra

Here is some software available for download.

Here is a list of co-authors and research collaborators.

Biography

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, 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).

Dr J K Slaney                      Phone (Aus.):  (026) 125 8607
Logic and Computation Group        Phone (Int.): +61 26 125 8607
School of Computer Science         Fax (Aus.):    (026) 125 8651
Australian National University     Fax (Int.):   +61 26 125 8651
Canberra, ACT, 0200, AUSTRALIA

John.Slaney@anu.edu.au