I am a CNRS researcher at IRIF, Université Paris Cité. I am part of the Automata and applications team. Before this, I was a Research Associate at the University of Liverpool, and I did my PhD at LSV, ENS Paris-Saclay.

I am broadly interested in logic and automata theory. For an up-to-date list of my publications, see my dblp.