John Slaney
PositionProfessor in the Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University.Head of Automated Reasoning Group since 1991. 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 Current TeachingHere are some notes and links related to COMP6463 (aka COMP4630): Overview of Logic and Computation. Here are some notes and links related to COMP8630: Beyond Classical Logic. Research Interests
Here is some software available for download. Here is a list of co-authors and research collaborators.
BiographyI 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). 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 8651John.Slaney@anu.edu.au |