PositionProfessor 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
Here is some software available for download.
Here is a list of co-authors and research collaborators.
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, AUSTRALIAJohn.Slaney@anu.edu.au