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
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
Environmental stability of nanoscale materials for catalysis and sensing. After two decades of research, the first wave of 'nanotechnology' consumer products are entering the market, and large quantities of nanoparticles (less than millionth of a centimetre in size) are now being produced annually. However, before any new product can be manufactured, we need to know how stable engineered nanomaterials are before we bring them into our home, or we find them (unintentionally) free in our waterways ....Environmental stability of nanoscale materials for catalysis and sensing. After two decades of research, the first wave of 'nanotechnology' consumer products are entering the market, and large quantities of nanoparticles (less than millionth of a centimetre in size) are now being produced annually. However, before any new product can be manufactured, we need to know how stable engineered nanomaterials are before we bring them into our home, or we find them (unintentionally) free in our waterways and other ecosystems. For the first time, this project uses high performance supercomputing and advanced theoretical modelling to predict the stability of nanomaterials under a wide range of environmental conditions, to help safe guard Australia from potential 'nano-hazards' associated with these tiny pieces of matter.Read moreRead less
Understanding the Origin and Development of Extreme and Mega Bushfires. Extreme and megafires result in significant damage to property and infrastructure and are associated with large suppression costs. These events form when separate fires Merge. Their increase occurrence in recent seasons highlights the importance of developing tools and technologies that better predict extreme events to aid fire response and inform strategies for greater resilience. This project combines fire field experiment ....Understanding the Origin and Development of Extreme and Mega Bushfires. Extreme and megafires result in significant damage to property and infrastructure and are associated with large suppression costs. These events form when separate fires Merge. Their increase occurrence in recent seasons highlights the importance of developing tools and technologies that better predict extreme events to aid fire response and inform strategies for greater resilience. This project combines fire field experiments with computer modelling to determine factors driving extreme fire development, and develop new knowledge and models. These enable better prediction of active fires, enhance the knowledge base of fire managers for critical decision making and to improve risk modelling and mitigation planning for fire-prone communities.Read moreRead less
A theoretical hierachy to investigate the electronic behaviour of graphene nanostructures under realistic conditions. One of the most exciting new nano-materials is graphene which promises to be the basis of a new industry producing nano-electronics and nano-devices such as chemical sensors. This project aims to provide sound scientific knowledge on the effects of environmental conditions on the properties of graphene which are vital for its industrial use.
Understanding dissipation, thermal conduction and diffusion in superionic conductors using ab initio nonequilibrium molecular dynamics simulation. Lithium ion batteries are widely used in computers, cars and more recently in aircraft. However they may exhibit thermal runaway leading to fire. Recently these problems have grounded the fleet of Boeing 787 aircraft, worldwide. Understanding superionic conduction is of thus of considerable technological importance. The project will focus on understa ....Understanding dissipation, thermal conduction and diffusion in superionic conductors using ab initio nonequilibrium molecular dynamics simulation. Lithium ion batteries are widely used in computers, cars and more recently in aircraft. However they may exhibit thermal runaway leading to fire. Recently these problems have grounded the fleet of Boeing 787 aircraft, worldwide. Understanding superionic conduction is of thus of considerable technological importance. The project will focus on understanding mass and heat flow in superionic conductors using a new molecular simulation technique that the team has recently developed. This technique combines nonequilibrium statistical mechanics and ab initio molecular dynamics simulation. The project will learn how heat is generated and conducted through these materials and how temperature influences these processes, and how heat and mass flow couple together.Read moreRead less
Artificial intelligence meets wireless sensor networks: filling the gaps between sensors using spatial reasoning. Monitoring potential disaster regions and integrating available information with expert knowledge can prevent disasters and save many lives. The outcome of our project is one of the key components for intelligent systems that can autonomously monitor the environment, make the correct inferences and issue appropriate warnings and recommendations.
Synchrotron X-ray absorption fine structure and fundamental X-ray interactions for nano-physics, chemistry and mineralogy. This project will develop new synchrotron techniques for measuring and interpreting X-ray data from materials targeting the nano-environment and bonding. The first wave of synchrotron nanotechnology is nascent. The project's X-ray methods develop techniques in applied mineralogy and catalysis. New insight will address key questions in chemistry, mining and biology.
Dynamic tomography: high-resolution, four-dimensional imaging of processes. This project will develop imaging technology that allows us to collect detailed, three dimensional movies of complex, microscopic processes in a laboratory. This technology will have applications in soil science, biology, oil extraction, and carbon sequestration.