Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Testimonial narratives in the post-colonial era. This project aims to benefit the Australian public by analysing some of the ways testimony has been used as a means of coming to terms with the past in Australia. It aims to amplify the significance of Australian collections, such as the Bringing Them Home Oral History archive at the National Library, both within Australia and internationally, and thereby bring Australian materials and experiences into transnational discussions of testimony and co ....Testimonial narratives in the post-colonial era. This project aims to benefit the Australian public by analysing some of the ways testimony has been used as a means of coming to terms with the past in Australia. It aims to amplify the significance of Australian collections, such as the Bringing Them Home Oral History archive at the National Library, both within Australia and internationally, and thereby bring Australian materials and experiences into transnational discussions of testimony and contested histories. It aims to benefit the research communities in Canada and Australia by providing an interpretative framework for researching and teaching testimonial materials, and by strengthening links between the two countries.Read moreRead less
Urban Imaginaries/Cultural Landscapes: An Asia-Pacific Transnational and Cross-Cultural Research Collaboration. The aim of the program is to foster research collaboration between the ANU's Humanities Research Centre and Lingnan University's Cultural Research and Development Program by examining public culture, transnational culture, urban landscapes and urban cultural identities in the contemporary Asia-Pacific and Australian context. We will do this by extending ties with researchers from the ....Urban Imaginaries/Cultural Landscapes: An Asia-Pacific Transnational and Cross-Cultural Research Collaboration. The aim of the program is to foster research collaboration between the ANU's Humanities Research Centre and Lingnan University's Cultural Research and Development Program by examining public culture, transnational culture, urban landscapes and urban cultural identities in the contemporary Asia-Pacific and Australian context. We will do this by extending ties with researchers from the region including early career and students and by developing a comparative cross-cultural methodology capable of encompassing specific socio-historical patterns and processes of dynamically changing public cultural formations in contemporary urban centres in the Asia-Pacific, including Australia. Specific outcomes include a book, e-journal and a multi-media exhibition.
Read moreRead less