I am a PhD student at IRIT – Université 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.