I am a member of the Theory of Computation research group.
My broad research interest is the interactions between logic and topology, and particularly in geometric logic and topos theory. The interactions turn up in a huge range of areas, not just computer science, and my work has often been purely mathematical, even touching on quantum phsics.
A current focus is Joyal's Arithmetic Universes (list arithmetic pretoposes).
For further information, see my home page.