I am a PhD student at IRITUniversité Toulouse III under the supervision of Philippe Balbiani in the LILaC team. I work on the problems of admissibility and unification in modal logics.

So far I have investigated applications of Stone-type duality to solve unification problems, mostly in the case of locally tabular logics.


Master thesis

In september 2021 I defended my master thesis, entitled The Expressive Power of Derivational Modal Logic and supervised by Nick Bezhanishvili and David Fernández-Duque. The text can be found here.

Unpublished work

Weak bisimulations and weak mu-calculus

Thème : Overlay par Kaira. Texte supplémentaire
Le Cap, Afrique du sud