John Slaney
Position
Professor Emeritus in the
School of Computing
at the
Australian National University.
Research interests in the
Computing Foundations
and
Intelligent Systems
clusters.
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 (1993–2019) of the annual
LOGIC SUMMER SCHOOL
Teaching materials
Click the image for details.
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, ostensibly to help automate
reasoning. Here I still am, still researching a range of topics
from deviant logics to mainstream AI, though from 2011 to
2020 much of my time was devoted again to teaching.
My retirement at the end of 2020 meant a move to the Emeritus
faculty and an end to lecturing, but has not stopped me otherwise.
I like doing this. The ANU is an amazing place to be a
researcher, Canberra is a better city to live in than you
would believe from listening to Australians from anywhere
else, there are colleagues doing exciting work everywhere
I look, and for over 30 years I actually got 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 (enthusiastic but inexpert
pianist).
Dislikes: no really interesting ones (sorry).
|
|
Dr J K Slaney Phone (Aus.): (026) 125 8607
Theory Group Phone (Int.): +61 26 125 8607
Research 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
|
