I spent the last year (September 2008-August 2009) working with Educational Media at the Higher Education Development Centre of the University of Otago, looking at applications of technology in teaching and learning.
The overall aim of my research is to find better ways of creating software. I am interested in (agent oriented) software engineering, programming languages, and logic and formal methods.
Please see my publications and students for further details.
I am a member of SECML here at the University of Otago, and a former member of the RMIT Agent group. My Erdös number is 3.
I used to maintain a list of alternatives to C for programming PalmPilots but with fatherhood I've had less time for "geek toys" ...
I am a keen musician: I play piano, sing in choirs, sometimes conduct choirs, and have been known to compose on occasion.