I am a lecturer in computer science at Durham University in the Algorithms and Complexity Group
(ACiD) within the School of Engineering and Computing Sciences. I was previously a lecturer within the Foundations of Computing Group
at Middlesex University.
My interests include Complexity Theory in general (Proof Complexity as well as Computational Complexity); Finite Model Theory; and the links between logic and complexity. I am mostly working now on Constraint Satisfaction Problems and their quantifications and other generalisations.