I am a researcher from the HMI Project on improving the relation between AI and humans. My main research topic has traditionally be Model-Based Diagnosis, but I also looked at problems related to AI Planning, path-finding, SAT, model checking, logic, and scheduling.

If you are a student or a researcher and you want to collaborate on a research topic for which you think I could provide useful input, the ANU is willing to support such collaborations; so don't hesitate to contact me!

Material in these pages.

• Short bio
• Research topics (to be completed)
  • Diagnosis
  • Path-finding
  • SAT stuff.
• Publications
• Teaching
• Data (stuff that can be downloaded from this website)
• Students (past and present)
• Students can find research projects at this address
• A homemade Java SDD package