Home C.V. Publications EP/G020604/1 EP/L005654/1
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.