My current research focuses broadly on Heyting algebras and closely related structures, with a focus on categorical and geometric aspects of these structures, with a special focus on their logical meaning.

In the last years my interest has been mostly in the broad area "definability theory": the study of which structures can be expressed in specific formal systems. This includes questions such as (uniform) interpolation, unification, definability of higher-order quantifiers, implicit operations and connectives, elimination of imaginaries and Galois theory. My long-term goal would be to develop a geometrically-inspired theory of these phenomena in non-classical logics.

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.