Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Helping Central Banks Measure Unobserved Variables Using Real-time Forecasts. The project addresses structural measurement problems confronted routinely by central bankers. The techniques developed, and the estimates provided, will aid directly the Partner Organisations (the Reserve Bank of Australia, the Reserve Bank of New Zealand and Norges Bank) and other central banks in formulating monetary policy. The analysis will allow interest rates in Australia and elsewhere to be set with greater pre ....Helping Central Banks Measure Unobserved Variables Using Real-time Forecasts. The project addresses structural measurement problems confronted routinely by central bankers. The techniques developed, and the estimates provided, will aid directly the Partner Organisations (the Reserve Bank of Australia, the Reserve Bank of New Zealand and Norges Bank) and other central banks in formulating monetary policy. The analysis will allow interest rates in Australia and elsewhere to be set with greater precision. The techniques developed in this project will facilitate the understanding and communication of monetary policy within the central banks concerned, and enhance communication of monetary policy strategy to the public.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Towards a superannuation system fit for the future. Towards a superannuation system fit for the future. This project aims to develop a stochastic superannuation model and propose alternative post retirement solutions, using data-led understanding of savings habits. Funding for the increasing cost of the growing older population will, if not modelled, forecast and managed adequately, swamp all other welfare and state funded costs. To manage older age costs adequately, governments need to encourag ....Towards a superannuation system fit for the future. Towards a superannuation system fit for the future. This project aims to develop a stochastic superannuation model and propose alternative post retirement solutions, using data-led understanding of savings habits. Funding for the increasing cost of the growing older population will, if not modelled, forecast and managed adequately, swamp all other welfare and state funded costs. To manage older age costs adequately, governments need to encourage people to save and provide ways people can save—but need to better understand how people save money for their old age. This research is expected to enable the “superannuation change“ necessary for the superannuation system to remain sustainable and fund retirees to live well.Read moreRead less
Financing aged care in Australia: Mitigating fiscal gaps and maintaining intergenerational equity. Aged care has been identified as a significant contributor to the growing fiscal problems predicted for Australian government finances during the next 10 to 20 years. This project will develop the cutting-edge modelling tools needed to allow Australia to make informed decisions about possible reforms in aged care financing. It will create significant national benefits by allowing detailed assessmen ....Financing aged care in Australia: Mitigating fiscal gaps and maintaining intergenerational equity. Aged care has been identified as a significant contributor to the growing fiscal problems predicted for Australian government finances during the next 10 to 20 years. This project will develop the cutting-edge modelling tools needed to allow Australia to make informed decisions about possible reforms in aged care financing. It will create significant national benefits by allowing detailed assessment of the distributional impact of a wide range of possible reforms, including how the outcomes of any policy change will affect disadvantaged sections of our society, whether different generations will be fairly treated, and the impact by gender.Read moreRead less
Developing a responsive regulatory system for Australia's small corporations. Small corporations employ approximately 50% of Australia's 10.5 million employed persons (ABS: Nov 2007). Promoting and maintaining small corporations is vital to the health of the Australian economy and the well being of society. This research will strengthen Australia's social and economic fabric by identifying, in consultation with regulators, industry leaders, government, the ideal regulatory environment for Aust ....Developing a responsive regulatory system for Australia's small corporations. Small corporations employ approximately 50% of Australia's 10.5 million employed persons (ABS: Nov 2007). Promoting and maintaining small corporations is vital to the health of the Australian economy and the well being of society. This research will strengthen Australia's social and economic fabric by identifying, in consultation with regulators, industry leaders, government, the ideal regulatory environment for Australia's small corporations. A responsive regulatory framework will enable small corporations to conduct business more efficiently and profitably allowing for and creating structures and processes for encouraging and managing innovation creativity in this vital sector.Read moreRead less
Eddy-resolving global ocean-sea ice modelling. Eddy-resolving global ocean-sea ice modelling. This project aims to develop a world-class global ocean-sea ice model framework through a nationwide consortium. The resulting high resolution models are expected to provide the foundation for the next decade of Australian ocean-sea ice modelling capacity. This research should lead to improved ocean and sea ice prediction, ocean reanalyses, and climate projections, enhancing Australia's capacity to pred ....Eddy-resolving global ocean-sea ice modelling. Eddy-resolving global ocean-sea ice modelling. This project aims to develop a world-class global ocean-sea ice model framework through a nationwide consortium. The resulting high resolution models are expected to provide the foundation for the next decade of Australian ocean-sea ice modelling capacity. This research should lead to improved ocean and sea ice prediction, ocean reanalyses, and climate projections, enhancing Australia's capacity to predict the ocean state on timescales of days to decades. This is expected to yield efficiencies in shipping, marine search and rescue and naval operations, and increase the accuracy of projected future changes in climate, sea level, ocean ecosystems and the cryosphere.Read moreRead less
Nowcasting and Interpreting the Australian Economy. This project aims to investigate methods for nowcasting and interpreting the Australian economy. This is determining the current state of the economy and the factors contributing to it.
This project expects to generate new knowledge on how unconventional, new, data sources and innovative methods can be used to in nowcasting and how the Australian economy can be modelled.
The expected outcomes include timely new indicators of the state of the ec ....Nowcasting and Interpreting the Australian Economy. This project aims to investigate methods for nowcasting and interpreting the Australian economy. This is determining the current state of the economy and the factors contributing to it.
This project expects to generate new knowledge on how unconventional, new, data sources and innovative methods can be used to in nowcasting and how the Australian economy can be modelled.
The expected outcomes include timely new indicators of the state of the economy, and the factors contributing to it. This should provide significant benefits through informing the conduct of Australian macroeconomic policy, as the appropriate policy response depends not only on knowing the current state of the economy but understanding the economic factors underlying it.
Read moreRead less
Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilit ....Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilities, and released for community use. These developments underpin future ocean state forecasts, sea ice forecasts, wave forecasts, decadal climate prediction and climate process studies. The project will benefit search and rescue, Defence and shipping operations, and will enhance future climate projections.Read moreRead less
ARC Centre of Excellence for Climate Extremes. This Centre aims to transform understanding of past and present climate extremes and revolutionise Australia’s capability to predict them into the future. Climate extremes cost Australia up to $4 billion a year and will intensify over coming decades. This Centre’s blue-sky research will discover processes that explain the behaviour of present and future climate extremes. It will use its researchers, data, modelling, collaboration, graduate programme ....ARC Centre of Excellence for Climate Extremes. This Centre aims to transform understanding of past and present climate extremes and revolutionise Australia’s capability to predict them into the future. Climate extremes cost Australia up to $4 billion a year and will intensify over coming decades. This Centre’s blue-sky research will discover processes that explain the behaviour of present and future climate extremes. It will use its researchers, data, modelling, collaboration, graduate programme and early career researcher mentoring to transform Australia’s capacity to predict climate extremes. This research is expected to make Australia more resilient to climate extremes and minimise risks from climate extremes to the Australian environment, society and economy.Read moreRead less