I have a PhD in computer sciences, and I am currently a permanent researcher (CR1) at Inria Sophia Antipolis in the team MARELLE. I did a postdoc in the Department of Computer Science and Engineering of University of Gothenburg and Chalmers in Sweden. I used to be a PhD Student under the supervision of Assia Mahboubi at École Polytechnique (Palaiseau, France). I studied Mathematics and Computer Sciences in ENS Cachan (Cachan, France), and I’m a qualified teacher (agrégé) in Mathematics.