PositionProfessor in the Research School of Computer Science, Australian National University.
Member of Theory research group
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
Teaching, Semester 1 2017
Click the image for details.
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