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
Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.Read moreRead less
Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documenta ....Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documentation, and evidence-based findings to disseminate to service providers, to communities and to Aboriginal organisations to improve ways of engaging with each other. In addition, the project will benefit Aboriginal communities with new approaches to language revitalisation.Read moreRead less
Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landi ....Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landing solution would revolutionise drone technology, and propel Australia to the forefront of technology innovation. This project would benefit not only large scale delivery by drone in urban and suburban areas of Australia but also long distance delivery via drone to remote areas of Australia.Read moreRead less
Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. ....Engaging ethnic minority and majority blood donors in donor recruitment. Word-of-mouth is a potentially powerful way to recruit blood donors. Talking about donation increases awareness, trust, commitment and positive feelings about donating, particularly in ethnic minority groups. However, donors seldom tell others about donating. This project aims to determine how to motivate blood donors to recruit new donors using word-of-mouth, through research comprising co-design, surveys, and experiments. This project will generate new knowledge of how to encourage effective word-of-mouth for pro-social behaviours. Expected outcomes include producing culturally relevant, validated resources that will significantly benefit Australia by encouraging effective conversations to promote blood donation in all communities.Read moreRead less
Transforming the early modern archive: the Emmerson Collection at SLV. In 2015, State Library Victoria (SLV) received the bequest of the Emmerson Collection: a national treasure of over 5000 early modern rare books and manuscripts, the first and only early modern archive of scale to be held by an Australian institution. Bringing together experts in early modern studies and the digital humanities with specialist library staff, this project will uncover the contents and scope of the collection and ....Transforming the early modern archive: the Emmerson Collection at SLV. In 2015, State Library Victoria (SLV) received the bequest of the Emmerson Collection: a national treasure of over 5000 early modern rare books and manuscripts, the first and only early modern archive of scale to be held by an Australian institution. Bringing together experts in early modern studies and the digital humanities with specialist library staff, this project will uncover the contents and scope of the collection and promote its international scholarly significance to the wider world. In doing so, it will develop new digital tools designed to unlock the value of this unique public resource for a wide range of end-users.Read moreRead less
Access to justice in interpreted proceedings: the role of Judicial Officers. This project aims to examine the ways judicial officers can improve courtroom communication and prevent miscommunication and error, particularly in criminal cases where speakers of the 'new and emerging' and Aboriginal languages are involved, and where interpreters receive limited or no specialised training. Using an innovative interdisciplinary approach, the project aims to generate new knowledge in examining the varia ....Access to justice in interpreted proceedings: the role of Judicial Officers. This project aims to examine the ways judicial officers can improve courtroom communication and prevent miscommunication and error, particularly in criminal cases where speakers of the 'new and emerging' and Aboriginal languages are involved, and where interpreters receive limited or no specialised training. Using an innovative interdisciplinary approach, the project aims to generate new knowledge in examining the variations in judicial officers communications practice when working with interpreters, and their impact on the effective transmission of information in the courtroom. Expected outcomes of this project will include improved outcomes of interpreted communication and a better access to justice for non-English speaking participants.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
Chinese-language digital/social media in Australia. This project aims to study the production, content and use of digital/social media by mainland Chinese migrants in Australia. China’s global rise has generated widespread anxiety about its possible use of diasporic Chinese media to influence the world. This project expects to generate a new framework for analysing soft power and propaganda in digital/social media, while also undertaking a major rethinking of the concept of flexible citizenship. ....Chinese-language digital/social media in Australia. This project aims to study the production, content and use of digital/social media by mainland Chinese migrants in Australia. China’s global rise has generated widespread anxiety about its possible use of diasporic Chinese media to influence the world. This project expects to generate a new framework for analysing soft power and propaganda in digital/social media, while also undertaking a major rethinking of the concept of flexible citizenship. The study will produce a more accurate assessment of China’s influence through migrant media in Australia and elsewhere.Read moreRead less
New tastemakers and Australia's post-digital literary culture. This project aims to investigate the effect of digital technologies on taste-making in Australian literary culture. The project will examine how digital media and platforms such as eBooks, online forums, blogs and social media have changed how Australian literature is produced, distributed and consumed, and what this means for the future of Australian literature. The project expects to understand the effect of digital practices on Au ....New tastemakers and Australia's post-digital literary culture. This project aims to investigate the effect of digital technologies on taste-making in Australian literary culture. The project will examine how digital media and platforms such as eBooks, online forums, blogs and social media have changed how Australian literature is produced, distributed and consumed, and what this means for the future of Australian literature. The project expects to understand the effect of digital practices on Australian literary culture, and support the continued development and cultural significance of Australia’s book industry in a globalised market for literature.Read moreRead less