John Slaney

Position

Head of Automated Reasoning Group since 1991.

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

MaGIC

Automatic theorem proving

ROO (Radically Optimized Otter)

SCOTT (Semantically Constrained Otter)

Miscellaneous contributions ,

Artificial Intelligence

Constraint satisfaction

Search

Planning

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

Biography

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

Dr J K Slaney                      Phone (Aus.):  (026) 125 8607
Automated Reasoning Project        Phone (Int.): +61 26 125 8607
Australian National University     Fax (Aus.):    (026) 125 8651
Canberra, ACT, 0200, AUSTRALIA     Fax (Int.):   +61 26 125 8651