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
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE160100051
Funder
Australian Research Council
Funding Amount
$3,000,000.00
Summary
Maintaining and enhancing merit-based access to the NCI National Facility. Maintaining and enhancing merit-based access to the national computational infrastructure facility:
This project aims to ensure that Australian researchers have access to the integrated high-performance computing and data environments they need. Australia’s national computational infrastructure (NCI) is the national, high-end research computing facility, providing researchers in universities, government science agencies ....Maintaining and enhancing merit-based access to the NCI National Facility. Maintaining and enhancing merit-based access to the national computational infrastructure facility:
This project aims to ensure that Australian researchers have access to the integrated high-performance computing and data environments they need. Australia’s national computational infrastructure (NCI) is the national, high-end research computing facility, providing researchers in universities, government science agencies and industry with world-class, integrated, high-performance services. These services enable high-impact, data-intensive computational research in all fields of science and technology. This project would continue merit-based access to NCI at the current level, ensuring ongoing international competitiveness of Australian research.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE120100181
Funder
Australian Research Council
Funding Amount
$650,000.00
Summary
Strengthening merit-based access and support at the new National Computing Infrastructure petascale supercomputing facility. World-leading high-performance computing is fundamental to Australia's international research success. This facility will provide access to the new National Computational Infrastructure facility by world-leading researchers from six research universities, and sustain ground-breaking work in an increasingly competitive environment.