About me

Profile picture

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 (LIS, 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.

Education

Resume

You can find my resume here.