My research interests lie in the broad area of functional analysis and abstract harmonic analysis.
My particular area of research is operator algebras. Specifically I study Cuntz-Krieger algebras of directed graphs and their analogues, as well as product systems and associated operator algebras.
In the pase I have also done some work in artificial intelligence. I helped develop the VADER theorem prover and the SATEN belief revision engine as part of the CIN project under Dr Mary-Anne Williams in 1997-98.