I am a postdoc in the Algorithms and Complexity in Durham (ACiD) research group within Engineering and Computing Sciences at Durham 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.
