Complex Motion Processing in Primate Visual Cortex. As we move through the world, a dynamic visual image is projected onto our retinas. The pattern of movement in the retinal image contains information about three-dimensional structure in the environment and the time of impending collisions. Our visual systems are expert at exploiting this information, enabling us to navigate through complex visual environments at a level far beyond the most sophisticated artificial systems. We plan to investiga ....Complex Motion Processing in Primate Visual Cortex. As we move through the world, a dynamic visual image is projected onto our retinas. The pattern of movement in the retinal image contains information about three-dimensional structure in the environment and the time of impending collisions. Our visual systems are expert at exploiting this information, enabling us to navigate through complex visual environments at a level far beyond the most sophisticated artificial systems. We plan to investigate complex motion processing in the primate brain by recording the responses of neurons in identified regions of the visual cortex of macaque monkeys to a range of behaviourally relevant motion stimuli.Read moreRead less
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