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
Fluid mechanics and physiology of blockages in vascular systems. Vascular disease is a major health problem both in Australia and worldwide. In particular, cardiovascular disease is a major killer of adult Australians. Engineers and mathematicians working with biologists will gain a greater understanding of vascular diseases, a major health problem, including cardiovascular disease, which is one of the biggest killers worldwide, as well as tackling renal circulation problems, which are a signifi ....Fluid mechanics and physiology of blockages in vascular systems. Vascular disease is a major health problem both in Australia and worldwide. In particular, cardiovascular disease is a major killer of adult Australians. Engineers and mathematicians working with biologists will gain a greater understanding of vascular diseases, a major health problem, including cardiovascular disease, which is one of the biggest killers worldwide, as well as tackling renal circulation problems, which are a significant problem and may contribute to hypertension. Detailed measurement and prediction will be undertaken of the mechanical loading and response of cells to their microenvironment, an important first step to controlling pathological responses which lead to a variety of autoimmune problems.Read moreRead less
Techniques for probing biological media with holographic angular scattering spectroscopy. Huge effort in the biological and medical sciences is spent in using simple software to laboriously mark, count and measure cells and structures in microscope images of samples. We could replace this incredibly inefficient process in many instances with single-shot size-map images of unstained samples. If depth selectivity can be added, we could perform non-invasive measurements on animals, making a huge re ....Techniques for probing biological media with holographic angular scattering spectroscopy. Huge effort in the biological and medical sciences is spent in using simple software to laboriously mark, count and measure cells and structures in microscope images of samples. We could replace this incredibly inefficient process in many instances with single-shot size-map images of unstained samples. If depth selectivity can be added, we could perform non-invasive measurements on animals, making a huge reduction in their usage. We could assess thick tissues enabling early noninvasive diagnosis of malignancy in tumours in situ or muscle characterization for meat quality or muscular dystrophy. These benefits impact on research, animal ethics, and on health, and have commercial potential in life and medical sciences, and the meat industry.Read moreRead less