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
A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and vali ....A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and validating a new mid-range theory, initially in the financial investment context, this project will provide significant benefits, such as help to secure Australia’s place in a changing world through improved information flow.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
Interactions of Human and Machine Intelligence in Modern Economic Systems. Much of modern economic systems are driven by machine-machine and machine-human interactions that happens rapidly at large scale. But such interactions are often opaque and can have negative or catastrophic consequences, such as market plunges with no apparent economic reasons in financial trading, content recommendations that promote extremism, algorithms in gig economy leading to worker exploitation and wasted resources ....Interactions of Human and Machine Intelligence in Modern Economic Systems. Much of modern economic systems are driven by machine-machine and machine-human interactions that happens rapidly at large scale. But such interactions are often opaque and can have negative or catastrophic consequences, such as market plunges with no apparent economic reasons in financial trading, content recommendations that promote extremism, algorithms in gig economy leading to worker exploitation and wasted resources. This project aims for new theoretical results and algorithms at the intersection computational economics, game theory, and dynamical systems, that establish conditions under which the economic systems are stable, propose mechanisms that make the interactions more fair, transparent and aligned with human values.Read moreRead less
Radical right populist parties. This project aims to explain why some radical right-wing populists in Western democracies enter governmental alliances with mainstream parties while others remain isolated. The emergence, spread and electoral success of radical right populists is a problem facing liberal democracy in the twenty-first century. While these parties’ policies, ideologies and rhetoric are similar, their relationships with mainstream parties are different. By examining explanatory facto ....Radical right populist parties. This project aims to explain why some radical right-wing populists in Western democracies enter governmental alliances with mainstream parties while others remain isolated. The emergence, spread and electoral success of radical right populists is a problem facing liberal democracy in the twenty-first century. While these parties’ policies, ideologies and rhetoric are similar, their relationships with mainstream parties are different. By examining explanatory factors that Political Science studies have so far been neglected, this project seeks to explain this variation and explore its implications for coalition theory.Read moreRead less
Australian Parliamentary Speech: How Deliberative? How Representative? . This project aims to assess the Australian Parliament’s representativeness and quality of debate from 1901-2020. It expects to generate new tools and knowledge about the development and workings of parliament using innovative quantitative text analysis methods. Expected outcomes include analysis of the relationship between representation (class, gender etc) and policy outcomes, an information-based measure of parliamentary ....Australian Parliamentary Speech: How Deliberative? How Representative? . This project aims to assess the Australian Parliament’s representativeness and quality of debate from 1901-2020. It expects to generate new tools and knowledge about the development and workings of parliament using innovative quantitative text analysis methods. Expected outcomes include analysis of the relationship between representation (class, gender etc) and policy outcomes, an information-based measure of parliamentary speech and a standardised dataset of Hansard. This should provide significant benefits to the scholarly community by removing cost and time barriers and build capacity for international collaborations. The objective information generated can contribute to public discussion about the efficacy of parliamentary debate.Read moreRead less
An Empirical Study of Agenda Setting in the High Court of Australia. This project aims to undertake the first comprehensive study of institutional and individual factors that facilitate and constrain access to judicial power via the High Court’s agenda setting process, special leave. Using quantitative methods, the project expects to generate new and advanced knowledge about the High Court’s role as the gatekeeper of judicial power. Expected outcomes include foundational knowledge on the nature ....An Empirical Study of Agenda Setting in the High Court of Australia. This project aims to undertake the first comprehensive study of institutional and individual factors that facilitate and constrain access to judicial power via the High Court’s agenda setting process, special leave. Using quantitative methods, the project expects to generate new and advanced knowledge about the High Court’s role as the gatekeeper of judicial power. Expected outcomes include foundational knowledge on the nature and scope of access to judicial power in Australia via policy reports, scholarly articles and datasets. This should provide significant benefits such as important insights on the impact and influence of justices, litigants, lawyers, and governments on High Court’s decisions to grant or deny special leave to appeal.Read moreRead less
Political Representation in Indonesia. The project aims to understand political representation in Indonesia, asking how far politicians resemble voters in both their policy views and backgrounds (gender, religion, education etc.) It will generate new knowledge on a major potential source of fragility in the world’s third largest democracy, and pioneer a new multi-method approach for explaining how representation varies. Expected outcomes include a new framework that extends analysis of represent ....Political Representation in Indonesia. The project aims to understand political representation in Indonesia, asking how far politicians resemble voters in both their policy views and backgrounds (gender, religion, education etc.) It will generate new knowledge on a major potential source of fragility in the world’s third largest democracy, and pioneer a new multi-method approach for explaining how representation varies. Expected outcomes include a new framework that extends analysis of representation to illiberal democracies, and a tranche of public data on Indonesia for cross-national comparisons. Benefits will include a new set of analytical tools to help policy makers in Australia and the region assess sources of weakness in representative institutions in illiberal settings.Read moreRead less
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