I am a member of ANU's Artificial Intelligence Group and of NICTA's Optimisation Research Group. My interests within AI include planning, scheduling, model-based diagnosis, search, and reasoning under uncertainty. My current research focuses on developing planning, scheduling, and diagnosis techniques that can handle larger and more complex problems featuring uncertainty, mixed discrete-continuous dynamics, and coordination among multiple entities. I am investigating applications of these techniques to future energy systems.
NICTA project Future Energy Systems.
ARC discovery project "Exploiting Structure in AI Planning".
NICTA project SuperCom: model-based Supervision of Composite systems. The project has developed a spectrum of model-based methods for monitoring and diagnosing distributed dynamic systems. These methods rely on decentralised reasoning, symbolic representations, and model compilation.
NICTA project DPOLP: Dynamic Planning, Optimisation and Learning Project. DPOLP has made a number of significant contributions to building tools for planning with time and uncertainty, and to bridging the gap between Petri nets analysis, planning/heuristic search in artificial intelligence, and statistical machine learning.
I am or was involved in the following
The projects I am offering are described here:
Competitive PhD scholarships are available either directly via ANU or via NICTA, but in both cases, students will be enrolled at and will receive a degree from the ANU and need to apply via the ANU application system. For information about graduate programs and links to application forms, click here. For more information about PhD scholarships, click here.
The slides of a presentation, focused on NICTA activities, which I gave to prospective honours and PhD students in 2010, can be found here.