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
Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.Read moreRead less
Control and learning for enhancing capabilities of quantum sensors. This project aims to develop new theories and algorithms to enhance capabilities in engineering quantum sensors from the perspective of systems and control. The project is significant because it is anticipated to advance key knowledge and provide systematic methods to enable achievement of high-precision sensing for wide applications, e.g., early disease detection, medical research, discovery of ore deposits and groundwater moni ....Control and learning for enhancing capabilities of quantum sensors. This project aims to develop new theories and algorithms to enhance capabilities in engineering quantum sensors from the perspective of systems and control. The project is significant because it is anticipated to advance key knowledge and provide systematic methods to enable achievement of high-precision sensing for wide applications, e.g., early disease detection, medical research, discovery of ore deposits and groundwater monitoring. The intended outcomes are fundamental theories, effective control and learning algorithms for achieving highly-sensitive sensors. These outcomes should make important contributions to and deliver new knowledge and skills for Australia's sensing industries, which could benefit Australia's economic growth.Read moreRead less
Optimisation for next generation machine learning. As more and more data are being collected, it is important to build intelligent systems which will can analyse these data efficiently. This project will take design and analyse new algorithms which take advantage of emerging paradigms in hardware such as multicore processors, graphic processing units (GPU), and cluster computers to achieve this goal.