About me

I am currently a postdoctoral researcher in the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) at Reykjavik University, in the Mode(l)s of Verification and Monitorability (MoVeMnt) project, which lies in the area of runtime verification. As the name suggests, it aims at studying monitorability of properties, i.e. whether there exists a program (called a monitor) that checks whether a given property holds by examining the execution of the system under scrutiny at runtime.

Previously, I was working on my PhD thesis under the joint direction of Emmanuel Filiot (at Département d’Informatique, Université Libre de Bruxelles) and Pierre-Alain Reynier (at LIS, Aix-Marseille Université), that I defended last September. I studied extensions of synthesis methods to systems operating with an infinite alphabet, more precisely over Data Words. More details as well as the manuscript, slides and video of the defence are available here.

I am mainly interested in the Verification and Automatic Synthesis of Computer Systems and its theoretical aspects: mathematical models and algorithms to analyse them. This includes, but is not limited to Automata, Logic and Game Theory.

I am also interested in Sociology (I completed in 2017 the first year of a Master of Sociology at the EHESS), specifically in its methodology, on both the qualitative and quantitative aspects, and epistemology. I am particularly curious about its links with Computer Science and Mathematics, and about the epistemological consequences of recent discoveries in Complex Networks theory on the conceptualisation of social dynamics.