News

I visited the Theory Group in Birmimgham where I gave a talk about one step methods for Heyting algebras.

I visited Milan University where I gave a talk about Higher order uniform interpolation and Pitts problem

I will be offering a project at the ILLC, jointly with Simon Lemal on amalgamation of algebras and interpolation in non-classical logic.

I will be presenting joint work with Nick Bezhanishvili and Antonio Cleani on a dual proof of Blok's Lemma at LATD 2025