Interests
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
- Optimisation
- Computational Logic And Formal Languages
- Mathematical Logic, Set Theory, Lattices And Universal Algebra
- Artificial Intelligence And Image Processing
Research
- Logic, especially nonclassical logics
- Automated reasoning
- Artificial Intelligence, especially constraint satisfaction, search and planning
Biography
I 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 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 research everywhere I look, and I actually get paid for thinking about logic and hacking code! That’s as good as it gets.
Activities & Awards
See my home page