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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE140100082
Funder
Australian Research Council
Funding Amount
$500,000.00
Summary
An Australasian facility for the automated fabrication of high performance bespoke components. A facility for the automated fabrication of high performance bespoke components: The project will create a new coordinated facility for composites research including modern automated infrastructure. The facility will bring Australia in line with leading international research centres and promote fundamental and applied research into a range of fields including underwater renewable energy systems, space ....An Australasian facility for the automated fabrication of high performance bespoke components. A facility for the automated fabrication of high performance bespoke components: The project will create a new coordinated facility for composites research including modern automated infrastructure. The facility will bring Australia in line with leading international research centres and promote fundamental and applied research into a range of fields including underwater renewable energy systems, space vehicle structures, multifunctional and smart materials and infrastructure capacity extension. The facility will position Australian research for significant international collaboration through endorsement of next-generation manufacturing technology and enable leading outcomes for Australasian science and engineering in aerospace, marine, civil, automotive, renewable energy and primary resources.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
Special Research Initiatives - Grant ID: SR0566892
Funder
Australian Research Council
Funding Amount
$220,000.00
Summary
The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfac ....The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfaces and databases. EarthByte will create the foundation for an e-geoscience framework for grid-based data access and Earth process modelling by linking geological and geophysical observations to palaeogeographic models for constraining mantle convection and lithospheric deformation.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC220100003
Funder
Australian Research Council
Funding Amount
$4,930,205.00
Summary
ARC Training Centre for Biofilm Research and Innovation . The ARC Training Centre for Biofilm Research and Innovation aims to transform biofouling management strategies for maritime platforms by building on local and international expertise to mentor and train the next generation of interdisciplinary scientists and engineers. Anticipating evolving regulatory stringency, this project expects to establish a dynamic environment for industry partners, students and scientists to collaborate and devel ....ARC Training Centre for Biofilm Research and Innovation . The ARC Training Centre for Biofilm Research and Innovation aims to transform biofouling management strategies for maritime platforms by building on local and international expertise to mentor and train the next generation of interdisciplinary scientists and engineers. Anticipating evolving regulatory stringency, this project expects to establish a dynamic environment for industry partners, students and scientists to collaborate and develop biofilm management strategies. Expected outcomes include new and enhanced collaborations that advance and translate knowledge to better manage biofouling. The significant benefits will include a generation of industry-focused researchers critical for growing Australia’s Defence industry.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.
The endangered swift parrot as a model for managing small migratory birds. Endangered swift parrots use variable locations while breeding in eastern Tasmania and over winter on the Australian mainland. This project aims to develop effective conservation strategies for swift parrots and other migrants using new and long term data and innovative technological solutions to tracking small birds across vast landscapes.
Intercultural understanding in primary and secondary schools. What facilitates or impedes intercultural understanding in children, adolescents and schools? How can this be addressed? How can we know what makes a difference? This project answers these questions at the individual, school and national level using a novel cultural systems approach and methodological and technological innovations.
Linking for Life: Enhancing pathways to well-being for all Australians. The Linking for Life Project will identify pathways to wellbeing and better social outcomes across the life-course for high-risk/vulnerable individuals and their families to streamline service provision, improve outcomes and identify cost-efficiencies across government agencies. The work will expand cross-sectoral data linkage capability, enhancing research capacity to generate evidence-based policy to improve integrated ser ....Linking for Life: Enhancing pathways to well-being for all Australians. The Linking for Life Project will identify pathways to wellbeing and better social outcomes across the life-course for high-risk/vulnerable individuals and their families to streamline service provision, improve outcomes and identify cost-efficiencies across government agencies. The work will expand cross-sectoral data linkage capability, enhancing research capacity to generate evidence-based policy to improve integrated service delivery across government. The project will also trial innovative data linkage models including the creation of data repositories to improve efficiency for data provision and access, which will have application nationally and enable more timely access to whole-population linked cross-sector data.Read moreRead less
Reducing health disparities for culturally and linguistically diverse peoples. This project aims to develop a greater understanding of migrants and the factors that predict poor health outcomes related to blood-borne viruses and sexually transmitted infections. The delayed access by migrants to healthcare from culturally and linguistically diverse backgrounds results in late diagnosis, low treatment uptake, and poorer health outcomes, with enhanced risk of infection and increased burden on the h ....Reducing health disparities for culturally and linguistically diverse peoples. This project aims to develop a greater understanding of migrants and the factors that predict poor health outcomes related to blood-borne viruses and sexually transmitted infections. The delayed access by migrants to healthcare from culturally and linguistically diverse backgrounds results in late diagnosis, low treatment uptake, and poorer health outcomes, with enhanced risk of infection and increased burden on the health system. The data collected in this project will assist in developing health services to meet these needs.Read moreRead less