Environmental Management
NICTA's research is making a big impact on plant and animal bio-security, effective water management and land management.
The effective management of water resources and its use in farms, industry and urban environments is an important challenge. NICTA researchers are working in partnership with water management agencies to develop and trial new control systems and sensor network technologies.
In collaboration with the CRC for Plant Bio-security, NICTA researchers are also applying their expertise in imaging spectroscopy to automatically identify plant diseases and dangerous pests in the field.
Develop generic, robust, expressive and efficient models and algorithms to interpret and query data under uncertainty in digital forensics and environmental management
Programming models and platforms for sensor networks
Develop techniques for obtaining a complete timing model of a production quality microkernel
Develop a mathematical, machine checked proof that the L4 microkernel behaves according to specification
Develop and implement a precisely specified, secure API for the L4 microkernel
Develop a framework and tools for building applications on a distributed computing infrastructure, with a focus on developing applications for wireless sensor networks
Spectral camera technology and exploration of spectral properties over 3D models and the localisation of spectral energy sources within objects