Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. Th ....Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. The success of this project will further enhance the international competitiveness of Australian research in this important field and will benefit any Australian industry and business where software systems are deeply-rooted, such as transportation, smart homes, medical devices, defence and finance.Read moreRead less
Advanced Interface Technologies for Computational Science & Simulation. The project will research novel computer vision technologies that enable the next generation of visualisation portals for scientific collaboration. The development of new computer vision tools is key to truly natural human-machine interaction. The research outcomes of this project directly align with National Research Priority 3: Frontier Technologies. It supports four of the five relevant priority goals - Breakthrough Scien ....Advanced Interface Technologies for Computational Science & Simulation. The project will research novel computer vision technologies that enable the next generation of visualisation portals for scientific collaboration. The development of new computer vision tools is key to truly natural human-machine interaction. The research outcomes of this project directly align with National Research Priority 3: Frontier Technologies. It supports four of the five relevant priority goals - Breakthrough Science, Frontier Technologies, Smart Information Use, and Promoting an Innovation Culture and Economy. Outcomes of this research are also relevant to Research Priority 4: Safeguarding Australia, and has direct applications to video surveillance technology. Significant commercial opportunities, including licensing and spin-offs exist.Read moreRead less
Foundations of Vision Based Control of Robotic Vehicles. Automated and partially automated robotic vehicles are an emerging technology in society. The safety and performance of such systems depends crucially on their sensing and control algorithms. Vision sensing is one of the few sensor modalities that has the potential to adequately represent the complexity of a real world environment. By providing simple and effective vision based control algorithms this project develops Frontier Technologi ....Foundations of Vision Based Control of Robotic Vehicles. Automated and partially automated robotic vehicles are an emerging technology in society. The safety and performance of such systems depends crucially on their sensing and control algorithms. Vision sensing is one of the few sensor modalities that has the potential to adequately represent the complexity of a real world environment. By providing simple and effective vision based control algorithms this project develops Frontier Technologies for Building and Transforming Australian Industries by enabling a wide range of robotic vehicle applications, including aerial, submersible, and wheeled vehicles.Read moreRead less
Quantum satellites: safeguarding space-based communication networks. This project aims to address the fundamental challenges of developing quantum communication technology in space by performing space qualification of quantum technologies and optimising quantum-key distribution protocols for space applications. The project expects to generate new knowledge in the area of long-distance quantum key distribution based on continuous variables providing Australia with secure information networks. Exp ....Quantum satellites: safeguarding space-based communication networks. This project aims to address the fundamental challenges of developing quantum communication technology in space by performing space qualification of quantum technologies and optimising quantum-key distribution protocols for space applications. The project expects to generate new knowledge in the area of long-distance quantum key distribution based on continuous variables providing Australia with secure information networks. Expected outcomes of the project include licensing of key patents in building a quantum toolkit for space applications, establishment of collaboration across research institutes and disciplines, defence organisations and industry partners.Read moreRead less
Understanding the mechanisms of ion conduction and drug action in voltage gated sodium channels. Voltage-gated sodium channels initiate electrical impulses in nerve and muscle and are the target of many local anaesthetic, anti-epileptic and anti-arrythmic drugs. The publication of atomic resolution structures of homologous proteins from bacteria in the last 18 months has now made it possible to gain a detailed understanding of how these channels work, and how they are influenced by drugs. This p ....Understanding the mechanisms of ion conduction and drug action in voltage gated sodium channels. Voltage-gated sodium channels initiate electrical impulses in nerve and muscle and are the target of many local anaesthetic, anti-epileptic and anti-arrythmic drugs. The publication of atomic resolution structures of homologous proteins from bacteria in the last 18 months has now made it possible to gain a detailed understanding of how these channels work, and how they are influenced by drugs. This project aims to determine the basis of ion permeation and selectivity in the channels and explain the mechanisms of action for a number of common drugs. This will provide a foundation for future drug development to target specific channels for improved treatment of epilepsy, chronic pain and arrythmias. Read moreRead less
Virus and host genes and the outcome of infection. Viruses cause infection of all animals including people and the outcome of infection is highly variable. This project aims to use genetics to explain why some animals are more susceptible to particular virus infections and some strains of virus cause more severe diseases. The project will also explore whether all cells are similarly susceptible to killing by viruses.
Solid-state quantum communication technology. This project will develop the quantum information devices required to create a quantum communication network for the ultra-secure transmission of data. The key technological challenge is to entangle the quantum state of two crystals separated by kilometres, and maintain this entanglement for many seconds.
Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and ....Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and to minimise its energy use. This will enable the Australian telecommunications industry to provide better service (including to Australian industries and rural communities) at lower economic and environmental cost. This project will put Australia on the international stage as a leading contributor to energy-efficient internet technology.Read moreRead less
Engineering Artificial Intelligence: A Spatial Representation and Reasoning Perspective. Spatial information is important in areas of national interest such as mining and exploration, environmental monitoring and planning, emergency response, and defence. Mission control centres, for instance, receive different forms of spatial data from satellites, radar, or people on the ground. They have to process the input data and make intelligent decisions in a very limited time. Intelligent systems that ....Engineering Artificial Intelligence: A Spatial Representation and Reasoning Perspective. Spatial information is important in areas of national interest such as mining and exploration, environmental monitoring and planning, emergency response, and defence. Mission control centres, for instance, receive different forms of spatial data from satellites, radar, or people on the ground. They have to process the input data and make intelligent decisions in a very limited time. Intelligent systems that are able to assist with processing different forms of spatial data efficiently and that offer reliable decision support are essential for improving the quality and reliability of such applications. This research enables future intelligent systems with these capabilities. This will directly benefit applications in areas of national interest.Read moreRead less
Declarative Networks: Towards Robust and Explainable Deep Learning. The aim of this project is to develop declarative machine learning techniques that exploit inherent structure and models of the world. Deep learning has become the dominant approach for machine learning with many products and promises built on this technology. But deep learning is expensive, opaque, brittle and relies solely on human labelled data. This project intends to make deep learning more reliable by establishing theory a ....Declarative Networks: Towards Robust and Explainable Deep Learning. The aim of this project is to develop declarative machine learning techniques that exploit inherent structure and models of the world. Deep learning has become the dominant approach for machine learning with many products and promises built on this technology. But deep learning is expensive, opaque, brittle and relies solely on human labelled data. This project intends to make deep learning more reliable by establishing theory and algorithms that allow physical and mathematical models to be embedded within a deep learning framework, providing performance guarantees and interpretability. This would likely benefit machine learning based products that can understand the world and interact with humans naturally through vision and language.Read moreRead less