About me

I am a first-year PhD student at IRIF under the supervision of Daniela Petrişan and Sam van Gool, with an academic background in theoretical computer science and mathematics. My main interests lie in categorical semantics for logic and automata. My current research aims at elaborating a comprehensive categorical setting for the expression of duality-based proofs, so as to obtain general completeness results for modal fixpoint logics à la Jónsson-Tarski.

Before starting my PhD, I spent four years at ENS de Lyon pursuing a degree in theoretical computer science, during which I had the opportunity to collaborate with several researchers both in France and abroad. Most of my previous research revolved around automata theory and its categorical semantics, including my Master’s thesis which I wrote under Daniela Petrişan’s supervision in 2023.