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. In the near future I plan to extend this line of work to syntactic fragments of modal logic.

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