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
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
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
Industrial Transformation Training Centres - Grant ID: IC220100030
Funder
Australian Research Council
Funding Amount
$4,978,958.00
Summary
ARC Training Centre for Next-Gen Architectural Manufacturing. The Centre will generate specialised workforce capacity within Australia’s architectural sector. Leveraging advanced architectural computing discoveries will connect architectural design with the opportunities afforded by advanced manufacturing systems. The Centre will triangulate world-leading researchers, visionary partners, and talented graduates, integrating research into practice through digital business strategies, augmented int ....ARC Training Centre for Next-Gen Architectural Manufacturing. The Centre will generate specialised workforce capacity within Australia’s architectural sector. Leveraging advanced architectural computing discoveries will connect architectural design with the opportunities afforded by advanced manufacturing systems. The Centre will triangulate world-leading researchers, visionary partners, and talented graduates, integrating research into practice through digital business strategies, augmented intelligence, and computing domains of expertise. The Centre’s program of industry-embedded PhD’s, national/international placements, short courses, and post-doctoral projects will co-develop the change agents needed to transform the architectural profession to meet our nation’s immediate strategic needs.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE240100131
Funder
Australian Research Council
Funding Amount
$539,000.00
Summary
Federated Omniverse Facilities for Smart Digital Futures. A world-first trans-disciplinary, -domain, and -institutional smart 3D omniverse R&D ecosystem AuVerse will be built in NSW, affiliated with Queensland, and accessible to academia and industry. AuVerse will support cloud-based, reality-virtuality-fused, immersive, interactive and secure future-oriented digital design, development, training and society. In the new era of digital innovation and paradigm shift, AuVerse will substantially boo ....Federated Omniverse Facilities for Smart Digital Futures. A world-first trans-disciplinary, -domain, and -institutional smart 3D omniverse R&D ecosystem AuVerse will be built in NSW, affiliated with Queensland, and accessible to academia and industry. AuVerse will support cloud-based, reality-virtuality-fused, immersive, interactive and secure future-oriented digital design, development, training and society. In the new era of digital innovation and paradigm shift, AuVerse will substantially boost Australia’s pivotal research leadership and business competitiveness in nurturing new-generation, collaborative and transformative digital R&D and talent pipeline. It will enable large-scale strategic business innovation and transformation including smart manufacturing and Industry 4.0.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
The convective boundaries in stars. This project aims to locate the boundaries of convection, a problem in models of stars. It will calculate high-resolution three-dimensional simulations of stars and observe star clusters. The effect of this advance on stellar modelling could be profound since almost all stars contain convective regions. Many branches of astronomy rely on stellar models so the effect could extend far beyond the immediate field, ultimately expanding understanding of the Universe ....The convective boundaries in stars. This project aims to locate the boundaries of convection, a problem in models of stars. It will calculate high-resolution three-dimensional simulations of stars and observe star clusters. The effect of this advance on stellar modelling could be profound since almost all stars contain convective regions. Many branches of astronomy rely on stellar models so the effect could extend far beyond the immediate field, ultimately expanding understanding of the Universe. It could also be crucial in realising the scientific advances of the surveys which are gathering data for up to a billion stars.Read moreRead less
Hybrid Toughening of Carbon Fibre Composites for Liquid Hydrogen Storage. This project aims to develop hybrid toughening technologies to overcome the major problem of transverse matrix cracking and splitting in existing carbon fibre composites when subjected to thermal-mechanical loading at the ultracold liquid hydrogen temperature. Nano-toughened thin-ply carbon fibre layers will be hybridised with standard-ply laminates to sustain internal pressure and external impact loading at cryogenic temp ....Hybrid Toughening of Carbon Fibre Composites for Liquid Hydrogen Storage. This project aims to develop hybrid toughening technologies to overcome the major problem of transverse matrix cracking and splitting in existing carbon fibre composites when subjected to thermal-mechanical loading at the ultracold liquid hydrogen temperature. Nano-toughened thin-ply carbon fibre layers will be hybridised with standard-ply laminates to sustain internal pressure and external impact loading at cryogenic temperatures without leaks. The hybrid composites are expected to enable Australian companies to engineer, manufacture and export lightweight carbon fibre tanks for storing and exporting liquid hydrogen, which is emerging as a transformational opportunity for Australia to become a global supplier of green energy.Read moreRead less