Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less
Improving crops from the ground up: genetic solutions to optimise roots. This project aims to develop future crops with optimised root systems by overcoming genetic constraints that currently restrict their potential. Exploiting advances in genomics, transcriptomics, epigenomics and genome editing, this project expects to advance understanding of the biology and genetic controls of root development and responses to concurrent stressors, including drought, nutrient deficiency and soil-borne disea ....Improving crops from the ground up: genetic solutions to optimise roots. This project aims to develop future crops with optimised root systems by overcoming genetic constraints that currently restrict their potential. Exploiting advances in genomics, transcriptomics, epigenomics and genome editing, this project expects to advance understanding of the biology and genetic controls of root development and responses to concurrent stressors, including drought, nutrient deficiency and soil-borne disease. It is anticipated that project outcomes will support the development of crops equipped with novel root traits, enhancing resource-use efficiency and yield stability amid climate variability. This globally relevant research is designed to benefit the sustainability and profitability of the Australian grains industry.Read moreRead less