Research areas Recent Research Interests: Classical Model Theory Finite Model Theory Universal Algebra, Clones Ramsey Theory, Infinite Permutation Groups, Homogeneous Structures Constraint Satisfaction Problems: Algorithms and Complexity