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.
If you would like to have access to the LATEX and TikZ code, please send me an email.