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
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
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
Contemporary Australian Comics 1980 – 2020: A New History. This project aims to document, preserve and investigate a new history of Australian comics and graphic novels created 1980 to 2020. This period represents a significant shift in the thematic content and material production of comics. In tracing the development of technologies and communities, this project expects to generate new knowledge about narrative innovations comics use to reflect diverse national identities and cultures in Austra ....Contemporary Australian Comics 1980 – 2020: A New History. This project aims to document, preserve and investigate a new history of Australian comics and graphic novels created 1980 to 2020. This period represents a significant shift in the thematic content and material production of comics. In tracing the development of technologies and communities, this project expects to generate new knowledge about narrative innovations comics use to reflect diverse national identities and cultures in Australian society. By consolidating and providing public access to a wealth of contemporary Australian comics through a website and public programs, this project should feed the future of Australian comics industry and scholarship, providing significant benefit to Australian artists, readers, and the public.Read moreRead less
Housing energy efficiency transitions. This project aims to provide an analysis of housing retrofit and its links with household energy costs. It includes householders across eight global urban sites, as well as the businesses that supply retrofit services. The project will analyse the retrofit experience of both energy poor and other households, providing an internationally significant evidence base. Outcomes include a robust empirical evidence base on the implications of retrofit for househol ....Housing energy efficiency transitions. This project aims to provide an analysis of housing retrofit and its links with household energy costs. It includes householders across eight global urban sites, as well as the businesses that supply retrofit services. The project will analyse the retrofit experience of both energy poor and other households, providing an internationally significant evidence base. Outcomes include a robust empirical evidence base on the implications of retrofit for households to tailor actions that will shape the lives of residents in Australian households.Read moreRead less
Seismic analysis of cracking and deformations in concrete gravity dams. This project aims to establish a rational predictive capability for the responses of concrete gravity dams subject to extreme design earthquakes. This will include the development of innovative numerical methods for effective modelling of crack propagation and closure, large slips on crack faces and weak interfaces, dam-reservoir interaction, dam-foundation interaction and automatic mesh generation. The expected outcomes of ....Seismic analysis of cracking and deformations in concrete gravity dams. This project aims to establish a rational predictive capability for the responses of concrete gravity dams subject to extreme design earthquakes. This will include the development of innovative numerical methods for effective modelling of crack propagation and closure, large slips on crack faces and weak interfaces, dam-reservoir interaction, dam-foundation interaction and automatic mesh generation. The expected outcomes of the project will be a significantly improved prediction tool. It is also anticipated that the project will result in improvements in dam and public safety, and more efficient use of funds for dam safety upgrades and management.Read moreRead less
Industrial Transformation Research Hubs - Grant ID: IH150100006
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Research Hub for Nanoscience-based Construction Material Manufacturing. ARC Research Hub for Nanoscience-based Construction Material Manufacturing. This research hub aims to develop novel construction materials including binders, cement additives, high-performance concrete materials, concrete structural systems, polymer composites, and pavement materials. The multi-disciplinary hub provides a centralised platform to transform the construction materials industry into an advanced manufacturing ....ARC Research Hub for Nanoscience-based Construction Material Manufacturing. ARC Research Hub for Nanoscience-based Construction Material Manufacturing. This research hub aims to develop novel construction materials including binders, cement additives, high-performance concrete materials, concrete structural systems, polymer composites, and pavement materials. The multi-disciplinary hub provides a centralised platform to transform the construction materials industry into an advanced manufacturing sector delivering sustainable and resilient infrastructure assets. The hub intends to develop nanotechnology, cement chemistry, concrete technology and extreme engineering solutions; and to train the next generation of skilled workers, re-positioning Australian industry competitiveness and global market leadership to capture international infrastructure development opportunities.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC230100015
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Training Centre for Whole Life Design of Carbon Neutral Infrastructure. This Centre aims to transform the capability of civil infrastructure stakeholders to design, construct, operate and dispose of infrastructure in a carbon neutral way. By training industry-embedded PhDs and postdocs in the methodology and technology required to design out excess carbon of infrastructure in its whole life, this Centre expects to lead the world in sustainable infrastructure design, enabling a new generation ....ARC Training Centre for Whole Life Design of Carbon Neutral Infrastructure. This Centre aims to transform the capability of civil infrastructure stakeholders to design, construct, operate and dispose of infrastructure in a carbon neutral way. By training industry-embedded PhDs and postdocs in the methodology and technology required to design out excess carbon of infrastructure in its whole life, this Centre expects to lead the world in sustainable infrastructure design, enabling a new generation of infrastructure design in Australia and internationally. Achieving carbon neutral infrastructure in its whole life will bring significant far-reaching benefits, including equipping industry with tools required to meet Australia’s emission reduction targets as well as economic, commercial, environmental, and social gains.Read moreRead less