My current research focuses broadly on Heyting algebras and closely related structures. In them I am particularly interested in the study of technical questions on the structure of the category of Heyting algebras, such as providing descriptions of ordered compactifications of ordered topological spaces, or describing free objects in these and associated categories; and properties of classes of Heyting algebras, such as the study of lattices of varieties and quasivarieties, the distribution of properties like structural completeness, interpolation or tabularity; as well as the study non-standard rules, such as Pi-2-rules, in their universal-algebraic aspects and their computational properties.

I am broadly interested in universal algebra, model theory and category theory, and especially their interaction.

In a previous academic life I was a researcher in sociology of culture. I worked on policy analysis and briefly on agent-based modelling. You can find most of my work related to that in this link.