Early modern women and the poetry of complaint, 1540-1660. This project aims to discover how early modern women used the widespread, powerful and diverse mode of complaint to voice expressions of protest and loss during the English Renaissance. The project will highlight women’s roles as writers, patrons and textual producers and consumers of the mode of complaint. The project expects to uncover how the imagined voices of the disempowered shaped the literary and political cultures of early moder ....Early modern women and the poetry of complaint, 1540-1660. This project aims to discover how early modern women used the widespread, powerful and diverse mode of complaint to voice expressions of protest and loss during the English Renaissance. The project will highlight women’s roles as writers, patrons and textual producers and consumers of the mode of complaint. The project expects to uncover how the imagined voices of the disempowered shaped the literary and political cultures of early modern England. Reconceptualising a mode in Renaissance literature will benefit Australia's standing at the forefront of research in early modern studies.Read moreRead less
Understanding communication about advance care planning across the lifespan. This project aims to understand how people communicate about advance care planning for children, adolescents, and adults. This project expects to generate new knowledge by using leading social scientific and linguistic methods to analyse real-world advance care planning conversations and documents. Expected outcomes include detailed knowledge about challenges people encounter in these conversations and how to manage the ....Understanding communication about advance care planning across the lifespan. This project aims to understand how people communicate about advance care planning for children, adolescents, and adults. This project expects to generate new knowledge by using leading social scientific and linguistic methods to analyse real-world advance care planning conversations and documents. Expected outcomes include detailed knowledge about challenges people encounter in these conversations and how to manage these challenges. Over 170,000 Australians die each year, most from serious illness. This project should provide significant benefits to future initiatives for enhancing communication about advance care planning, especially in relation to young Australians, older Australians, and Australians with disabilities.Read moreRead less
New Electronic Archives for Australian Literature. Information capacity in Australian literary studies has been dramatically expanded by national investment in electronic archives, while trends in the discipline increasingly demand empirical support for claims about literary history and literary value. At the same time, research about Australian literature remains primarily theoretical, insufficiently informed by newly available data. This project aims to further enrich the new data sets, and to ....New Electronic Archives for Australian Literature. Information capacity in Australian literary studies has been dramatically expanded by national investment in electronic archives, while trends in the discipline increasingly demand empirical support for claims about literary history and literary value. At the same time, research about Australian literature remains primarily theoretical, insufficiently informed by newly available data. This project aims to further enrich the new data sets, and to use them in an innovative return to the classical issues in Australian literary criticism and history. It will provide demonstration applications of data in new electronic archives.Read moreRead less
Mobile Indonesians: social differentiation and digital literacies in the twenty first century. This is the first dedicated study of the social implications of mobile telephony's recent and rapid popularisation throughout the country. This project will study metropolitan, urban and rural users to understand how mobile phones create the new and unexpected social networks which will shape tomorrow's Indonesians.
War, Literary Culture and Masculinity in Romantic Period Britain, 1750-1850. The Romantic period represents a formative moment in the history of Australia and my reconsideration of Romantic culture and war has relevance for understanding this history. Australia's own experience of war first originated with the frontier wars of 1788-1838. My research into British Romantic military and naval war writing will provide key insights into the military culture that dominated this formative moment of Aus ....War, Literary Culture and Masculinity in Romantic Period Britain, 1750-1850. The Romantic period represents a formative moment in the history of Australia and my reconsideration of Romantic culture and war has relevance for understanding this history. Australia's own experience of war first originated with the frontier wars of 1788-1838. My research into British Romantic military and naval war writing will provide key insights into the military culture that dominated this formative moment of Australian military history. War has, more broadly, been pivotal in the formation of Australian nationhood and identity. My project will contribute to our understanding of the role of war in Australian culture by providing fresh insight into the historical role of war writing in constructing modern forms of identity.Read moreRead less
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
Intercultural inquiry in a trans-national context: Exploring the legacy of the 1948 American-Australian Scientific Expedition to Arnhem Land. In terms of National Research Priorities, the project will encourage cultural health and cohesiveness in Arnhem Land by providing access to cultural property held until now in remote archives. It will enhance understanding of our region and the world by studying cross-cultural interactions within Australia. Furthermore, it will illuminate how Aboriginal te ....Intercultural inquiry in a trans-national context: Exploring the legacy of the 1948 American-Australian Scientific Expedition to Arnhem Land. In terms of National Research Priorities, the project will encourage cultural health and cohesiveness in Arnhem Land by providing access to cultural property held until now in remote archives. It will enhance understanding of our region and the world by studying cross-cultural interactions within Australia. Furthermore, it will illuminate how Aboriginal territory and knowledge were used to shore up the Australia-US relationship at a formative historical moment.Read moreRead less
Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical softwar ....Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical software infrastructures are built. This will significantly enhance the security of public and private cyber assets, and deliver applications that are more robust and trustworthy, across a range of critical infrastructure such as transportation, communication, energy and defence.Read moreRead less
Understanding Indonesian: developing a machine-usable grammar, dictionary and corpus. Australia's relationship with Indonesia is of great significance. The need for good relationships founded on appreciation of the range of societies and views in modern Indonesia is widely acknowledged. A better knowledge of the languages is essential for this, and so are fast, efficient information gathering systems for processing multilingual sources (including Indonesian text), that can analyse large volumes ....Understanding Indonesian: developing a machine-usable grammar, dictionary and corpus. Australia's relationship with Indonesia is of great significance. The need for good relationships founded on appreciation of the range of societies and views in modern Indonesia is widely acknowledged. A better knowledge of the languages is essential for this, and so are fast, efficient information gathering systems for processing multilingual sources (including Indonesian text), that can analyse large volumes of text. The skills to build such systems exist internationally. Through collaboration with established international teams, we plan to transfer cutting-edge skills in the development of machine-useable grammars to Australian researchers, and to create the language resources essential for understanding Indonesian.Read moreRead less