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.
- M1 at EHESS - Sociologie Générale
Main topics: General Sociology, Sociology of the media, Sociology of activism and political institutions, Gender Studies
- M2 at Paris Diderot - MPRI
Main topics: Game Theory, Automata Theory, Natural Language Processing
- M1 at ENS Lyon - Computer Science
Main topics: Verification, Optimisation, Cryptography
- L3 at ENS Lyon - Computer Science
Main topics: Formal Languages, Algorithmics, Programming Theory, Probability Theory
- CPGE at Lycée Thiers - MPSI/MP*
Training in Mathematics, Physics and Computer Science
You can find my resume here.