On September 2022, I joined Université Gustave Eiffel as an assistant professor (maître de conférences) in the Laboratoire d’Informatique Gaspard Monge (LIGM), in the BAAM team.

Previously, I was a postdoctoral researcher at 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, with Luca Aceto, Antonis Achilleos, Anna Ingólfsdóttir, Adrian Francalanza and Karoliina Lehtinen. The project lies in the area of runtime verification and, as the name suggests, 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. I maintain a collaboration with this group.

From 2017 to 2021, 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.

Research Interests

Within computer science, I am mainly interested in the Verification and Automatic Synthesis of Computer Systems and their 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 other fields, especially in Sociology (I completed in 2017 the first year of a Master of Sociology at the EHESS), especially 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 for the conceptualisation of social dynamics.

Recently, I have become increasingly interested in Theoretical Ecology, which makes fascinating use of the models developed in mathematics and computer science. I plan to gain knowledge in this area, so that I can eventually contribute.

In my spare time, I enjoy playing the nyckelharpa.