I am 'profesor agregado' (associate professor) at the TIC department, Universitat Pompeu Fabra.
Theory of Constraint Satisfaction, counting problems,
proof complexity, computational learning, schema mappings.
Click here to see my papers
PhD fellowships available for research in Theory of Constraint Satisfaction. Please, write me if you are interested.