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
Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digita ....Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digital nomadism for workers and clients/organisations. The project is expected to have a significant impact on policy and public discourse by providing an in-depth explanation and understanding of digital nomadism based on rigorous research.Read moreRead less
Productivity and work-life balance in technology-enabled virtual work environments. This project examines the impact of technology-enabled virtual work environments on the productivity and work-life balance of professional knowledge workers. Guidelines will be developed that improve organisational and individual outcomes for professional knowledge workers who use technology extensively in their interactions with others.
Governance of information technology programmes: achieving accountability, control and success. This project aims to improve the effectiveness with which IT-enabled programmes are managed by public and private organisations. The theoretical knowledge and guides for good practice emerging from this study will contribute to increased success in managing and delivering complex and vital programmes across Australia.
A cross-national study of the relative impact of an oral component on PhD examination quality, language and practice. High quality doctoral degrees call for the most effective forms of assessment. This project investigates the role of oral examination in PhD assessment, common internationally but not in Australia, and is the first to compare the relative impact of oral and 'no oral' models on examination quality, language and practice.
Robust Preference Inference from Spatial-Temporal Interaction Networks. This project aims to develop innovative techniques for effectively and efficiently managing user preference profiles from less labelled, sparse and noisy interaction data. A unified novel learning framework along with a set of data analysis techniques are expected to be developed from this project, which will provide a non-intrusive way of conducting predictive analysis on user preference profiling via discovering human expl ....Robust Preference Inference from Spatial-Temporal Interaction Networks. This project aims to develop innovative techniques for effectively and efficiently managing user preference profiles from less labelled, sparse and noisy interaction data. A unified novel learning framework along with a set of data analysis techniques are expected to be developed from this project, which will provide a non-intrusive way of conducting predictive analysis on user preference profiling via discovering human explicit and implicit interest domains. The expected results of this application will not only maintain Australia's leadership in this frontier research area, but also support many important applications that safeguard Australian people and economy such as cyber security, healthcare, and e-Commerce.Read moreRead less
Modelling and distributed control of large infrastructure networks. The main outcome of this project will be the capability to study systematically basic questions on the operation of large infrastructure systems. Methodologies for control of larger systems and security issues will be developed. Application of the techniques to several applications areas will include power grids and traffic networks.
Control of network systems with signed dynamical interconnections. New technologies such as online recommendations, smart grids, and cyber-physical systems are becoming backbone infrastructure. Such systems are operated as network systems with interconnected functioning units (agents) where cooperative and adversarial agent relations often coexist. This project aims to develop the theories and tools for designing and building dynamic networks with signed interactions that arise from a variety of ....Control of network systems with signed dynamical interconnections. New technologies such as online recommendations, smart grids, and cyber-physical systems are becoming backbone infrastructure. Such systems are operated as network systems with interconnected functioning units (agents) where cooperative and adversarial agent relations often coexist. This project aims to develop the theories and tools for designing and building dynamic networks with signed interactions that arise from a variety of applications where both cooperative and adversarial agent interactions coexist. By developing theories and algorithms for control and identification over such systems, this project will contribute directly to their safe and robust operation. The resulting theories will provide deeper understanding of network control systems and the resulting algorithms will enable the elimination of attackers and malicious users for online review systems and smart grids. This project will contribute to increased cybersecurity for all Australians.Read moreRead less
Generalised Energy Based Robust and Nonlinear Control Systems. This project aims to develop new energy-based theories of robust stability analysis and controller design for both linear and nonlinear systems, building on passivity and negative imaginary system theories and their physical interpretations along with stochastic optimal control theory. These control theories would allow for a wide range of plant dynamics in the design of high-performance robust control systems, enabling advances in e ....Generalised Energy Based Robust and Nonlinear Control Systems. This project aims to develop new energy-based theories of robust stability analysis and controller design for both linear and nonlinear systems, building on passivity and negative imaginary system theories and their physical interpretations along with stochastic optimal control theory. These control theories would allow for a wide range of plant dynamics in the design of high-performance robust control systems, enabling advances in emerging technologies including nanopositioning, micro-electromechanical systems and opto-mechatronics. The project plans to combine these theoretical advances with numerical methods involving advanced optimisation tools and the experimental implementation of nanopositioning control systems in atomic force microscopy.Read moreRead less