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.