"I am currently a research fellow at the CNRS at the LIP. My research interests include proof theory and the study of circular proofs for verification, with a recent shift toward relation algebras, graph logic, and automata theory."