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
David and Goliath - what planets can do to the stars that created them. We used to think that when stars expand during their old age, they would destroy all their close-by planets. Today we know that if a star swallows a Jupiter-like planet it can suffer indigestion. The project will study how star-planet interactions takes place, determine their impact on the lives of stars and glimpse at the future of our own solar system.
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
Deciphering ion specificity in complex electrolytes . This project aims to understand how ions influence the behaviour and properties of complex electrolytes (solutions containing either multiple ions, solvent mixtures, high electrolyte concentrations or a variety of interfaces, solutes or polymers). Complex electrolytes are ubiquitous in colloidal and particle technologies and underpin industrial and natural processes. Our team will combine experiment, simulation and theory to deliver a univers ....Deciphering ion specificity in complex electrolytes . This project aims to understand how ions influence the behaviour and properties of complex electrolytes (solutions containing either multiple ions, solvent mixtures, high electrolyte concentrations or a variety of interfaces, solutes or polymers). Complex electrolytes are ubiquitous in colloidal and particle technologies and underpin industrial and natural processes. Our team will combine experiment, simulation and theory to deliver a universal framework for understanding and predicting specific ion effects in complex electrolytes. The project outcomes are expected to deliver new understanding for researchers, robust rules of thumb for technologists and a public resource for data-driven solutions in applications utilising salt solutions. Read moreRead less
Understanding Indonesian: developing a machine-usable grammar, dictionary and corpus. Australia's relationship with Indonesia is of great significance. The need for good relationships founded on appreciation of the range of societies and views in modern Indonesia is widely acknowledged. A better knowledge of the languages is essential for this, and so are fast, efficient information gathering systems for processing multilingual sources (including Indonesian text), that can analyse large volumes ....Understanding Indonesian: developing a machine-usable grammar, dictionary and corpus. Australia's relationship with Indonesia is of great significance. The need for good relationships founded on appreciation of the range of societies and views in modern Indonesia is widely acknowledged. A better knowledge of the languages is essential for this, and so are fast, efficient information gathering systems for processing multilingual sources (including Indonesian text), that can analyse large volumes of text. The skills to build such systems exist internationally. Through collaboration with established international teams, we plan to transfer cutting-edge skills in the development of machine-useable grammars to Australian researchers, and to create the language resources essential for understanding Indonesian.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy ....Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy of the commonly used integral models and test the effect of the use of more accurate entrainment relations. This may have a range of applications – enabling better prediction of environmental impacts, reduction of the adverse effects of the discharge of pollutants, and reduction in energy consumption in building ventilation and other industrial applications.Read moreRead less
Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic dama ....Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic damage to ecosystems. The aim of this project is to develop predictive models for the effects of physical processes such as night-time cooling, wind, turbulence and currents on riverine thermal stratification. This is expected to enable a more accurate determination of the flow rates required to maintain the health of our river systems.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
Accurate gas-surface chemistry from first principles. Many aspects of gas-surface chemistry remain unexplained, despite around 90% of industrial chemical production relying on heterogeneous catalysis. A major problem is that common simulation methods used to study gas-surface chemistry do not adequately incorporate the effect of the motion of the atoms in the solid catalyst surface, preventing accurate study of surface temperature and vibrational energy transfer effects. This project aims to de ....Accurate gas-surface chemistry from first principles. Many aspects of gas-surface chemistry remain unexplained, despite around 90% of industrial chemical production relying on heterogeneous catalysis. A major problem is that common simulation methods used to study gas-surface chemistry do not adequately incorporate the effect of the motion of the atoms in the solid catalyst surface, preventing accurate study of surface temperature and vibrational energy transfer effects. This project aims to develop methods to incorporate surface atom motion in realistic atomistic simulations of gas-surface interactions. The unexplained physics and chemistry of industrially-important catalysis will be investigated. A better understanding of the physics and chemistry of molecules reacting on catalytic surfaces has the potential to allow for improved industrial production, new functional coatings on materials and, for example, enhanced engineering of corrosion resistance.Read moreRead less