I am a PhD student at both Université de Bordeaux and Université Libre de Bruxelles under the supervision of Emmanuel Filiot, Olivier Gauwin and Anca Muscholl. I am part of the Formal Methods team at LaBRI and the Formal Methods and Verification team at ULB. I am also part of two ANR research projects: ExStream and Delta.
My research topics of interest are (not limited to) automata theory, semigroup theory and logic.
Publications: see my dblp page.
351 cours de la Libération
F-33405 Talence Cedex (France)