A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily ....A Unified Theory of 'If's. This project aims to develop a unified theory of ‘if’s. Our understanding of an uncertain and risky world requires hypothetical reasoning involving ‘if’s. They are significant theoretically: in science, history, politics, economics, psychology, computer science, linguistics, and philosophy. They are significant practically: in our planning, decision-making, policy priorities, legal judgments, environmental and medical interventions. Yet we lack a comprehensive, readily implementable theory of ‘if’s. The project expects to provide such a theory, based on probability, improving on approaches from philosophy and linguistics, and benefitting both these fields. It also promises significant benefits for artificial intelligence/machine learning.
Read moreRead less
A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist a ....A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist and Western philosophers, bring attention to texts and theories not currently available to the Western philosophical world, and demonstrate the importance of a collaborative, interdisciplinary approach to global philosophy.Read moreRead less
Determining the social value of extreme, mixed-use urban developments. Using an Adelaide case study, UCity, this project will investigate the social benefit of building mixed-use vertical communities in the Australian urban context. Using an innovative Social Value Framework, the project will establish and demonstrate the multi-dimensional impacts of such developments in practice. The project utilises citizen science for real time auditing of the built environment by residents and users; smart t ....Determining the social value of extreme, mixed-use urban developments. Using an Adelaide case study, UCity, this project will investigate the social benefit of building mixed-use vertical communities in the Australian urban context. Using an innovative Social Value Framework, the project will establish and demonstrate the multi-dimensional impacts of such developments in practice. The project utilises citizen science for real time auditing of the built environment by residents and users; smart technologies for environmental and behavioural monitoring; and data analytics and design automation for spatial analysis of building use. The results will inform new models of sustainable high-rise, mixed-use buildings; providing evidence for a Social Value Framework to become a core consideration in Australian industry.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
Industrial Transformation Training Centres - Grant ID: IC220100030
Funder
Australian Research Council
Funding Amount
$4,978,958.00
Summary
ARC Training Centre for Next-Gen Architectural Manufacturing. The Centre will generate specialised workforce capacity within Australia’s architectural sector. Leveraging advanced architectural computing discoveries will connect architectural design with the opportunities afforded by advanced manufacturing systems. The Centre will triangulate world-leading researchers, visionary partners, and talented graduates, integrating research into practice through digital business strategies, augmented int ....ARC Training Centre for Next-Gen Architectural Manufacturing. The Centre will generate specialised workforce capacity within Australia’s architectural sector. Leveraging advanced architectural computing discoveries will connect architectural design with the opportunities afforded by advanced manufacturing systems. The Centre will triangulate world-leading researchers, visionary partners, and talented graduates, integrating research into practice through digital business strategies, augmented intelligence, and computing domains of expertise. The Centre’s program of industry-embedded PhD’s, national/international placements, short courses, and post-doctoral projects will co-develop the change agents needed to transform the architectural profession to meet our nation’s immediate strategic needs.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Parametric VR: An Interactive Virtual Reality System for Parametric Design. This project aims to create a new and intuitive set of user interactions for Virtual Reality (VR) to support parametric designers in architecture and design. Parametric tools are an emerging design technology dominating contemporary practices, yet their interfaces are on traditional desktop computers while VR is only employed to visualise the geometric models produced by the end design. This project will generate Paramet ....Parametric VR: An Interactive Virtual Reality System for Parametric Design. This project aims to create a new and intuitive set of user interactions for Virtual Reality (VR) to support parametric designers in architecture and design. Parametric tools are an emerging design technology dominating contemporary practices, yet their interfaces are on traditional desktop computers while VR is only employed to visualise the geometric models produced by the end design. This project will generate Parametric VR, a system of VR tools to support parametric design. Key outcomes include software tools and demonstrators to support parametric algorithms and processes in VR. This will have significant benefits for design industries, allowing designers to directly edit parametric design entirely in VR across the project lifecycle.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE220100595
Funder
Australian Research Council
Funding Amount
$416,400.00
Summary
Efficient privacy-preserving proofs for secure e-government and e-voting. Electronic systems are becoming increasingly widespread and crucial to social and economic wellbeing. This project aims to ensure that e-government, e-health, e-commerce and e-voting are secure and trustworthy by inventing new ways to verify these systems without infringing privacy. This project expects to use innovative techniques from cryptography to support development of trustworthy systems. Expected outcomes of this p ....Efficient privacy-preserving proofs for secure e-government and e-voting. Electronic systems are becoming increasingly widespread and crucial to social and economic wellbeing. This project aims to ensure that e-government, e-health, e-commerce and e-voting are secure and trustworthy by inventing new ways to verify these systems without infringing privacy. This project expects to use innovative techniques from cryptography to support development of trustworthy systems. Expected outcomes of this project include better support for organisations to build trustworthy systems that will maximise benefit to Australian business and society. This should provide significant commercial, reputational, and societal benefits by avoiding disruptions to the organisations and their clients if and when they are attacked. Read moreRead less
Contemporary Australian Comics 1980 – 2020: A New History. This project aims to document, preserve and investigate a new history of Australian comics and graphic novels created 1980 to 2020. This period represents a significant shift in the thematic content and material production of comics. In tracing the development of technologies and communities, this project expects to generate new knowledge about narrative innovations comics use to reflect diverse national identities and cultures in Austra ....Contemporary Australian Comics 1980 – 2020: A New History. This project aims to document, preserve and investigate a new history of Australian comics and graphic novels created 1980 to 2020. This period represents a significant shift in the thematic content and material production of comics. In tracing the development of technologies and communities, this project expects to generate new knowledge about narrative innovations comics use to reflect diverse national identities and cultures in Australian society. By consolidating and providing public access to a wealth of contemporary Australian comics through a website and public programs, this project should feed the future of Australian comics industry and scholarship, providing significant benefit to Australian artists, readers, and the public.Read moreRead less