This webpage is not maintained anymore. You can find the up-to-date version here.

I am currently working on my PhD thesis under the joint direction of Emmanuel Filiot (Département d'Informatique, Université Libre de Bruxelles) and Pierre-Alain Reynier (LIF, Aix-Marseille Université), on Automatic Synthesis of Systems with Data. I am mainly interested in the Verification and Automatic Synthesis of Computer Systems and its theoretical aspects: mathematical models and algorithms to analyze them; in particular Automata, Logic and Game Theory.

I am also interested in Sociology (I completed last year the first year of a Master of Sociology at the EHESS) and its links with Computer Science. I am particularly curious about the epistemological consequences of recent discoveries in Complex Networks theory on the conceptualization of social dynamics.

You can find my resume here.

• Two-way Two-tape Automataview_headlineview_carousel
  Olivier Carton, Léo Exibard and Olivier Serre, Developments in Language Theory 2017
• Two-way Two-tape Automataview_headline view_carousel
  Internship with Olivier Carton and Olivier Serre (Institut de Recherche en Informatique Fondamentale, Université Paris Diderot, March-August 2016)
• Game Semantics and Normalization by Evaluationview_headline view_carousel
  Internship with Peter Dybjer (Department of Computer Science and Engineering, Chalmers University of Technology, May-August 2015)
• Church Synthesis and Uniformization of Relations over Finite Wordsview_headline view_carousel
  Internship with Emmanuel Filiot (Département d'Informatique, Université Libre de Bruxelles, May-July 2014)

If you would like to have access to the LATEX and TikZ code, please send me an email.