I am 'profesor agregado' (associate professor) at the TIC department, Universitat Pompeu Fabra.
Theory of Constraint Satisfaction, computational
properties over quantified formulas in general, counting problems,
proof complexity, sharp thresholds of combinatorial problems, 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.
Last Update on February 2012