My research focuses broadly on Heyting algebras, provability algebras, and closely related structures, studying their categorical, geometric and logical aspects of these structures. My current focus lies in several properties of the algebras of the system GLP.

In the last years, especially throughout my PhD, 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 is 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.