Principal Researcher
Canberra - ANU B156

My interests are in artificial intelligence, particularly planning, model-based diagnosis, search, and reasoning under uncertainty. My current research focuses on developing planning and diagnosis techniques that can handle larger and more complex problems featuring uncertainty, time, and coordination among multiple entities. Potential applications of these techniques include project planning, autonomous robotics, intelligent transport, manufacturing, power distribution, and network management.

I lead the SuperCom project: model-based Supervision of Composite systems. The project has developed a spectrum of fast and powerful methods for monitoring and diagnosing distributed dynamic systems. These methods rely on decentralised reasoning, symbolic representations, and knowledge compilation.

I also participate in 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.

For more information and access to my publications, visit my ANU webpage.