I am a post-doctoral researcher at the Inria center of the university of Rennes.
Previously, I did a PhD in the Computer Security group at CWI in Amsterdam, under the supervision of Farhad Arbab and Carolyn Talcott.
My research interests gravitate around using precise mathematical tools to capture side effects of computing systems.
News: Oct 2024 - Internship available for M2 student. For more information, see here. Sep 2024 - I am the recipient of a Marie-Curie post-doctoral fellowship the cert-t project. During this project, I aim to certify the preservation of real-time properties during compilation. Jan 2024 - Jun 2024 - I had the opportunity to start a company, named LaBase, to provide trainings for basics of applied programming. All trainings use some physical supports (drone, car, and hardware) to teach some essential concepts, that help heterogeneous teams in companies to gain in fluidity and efficiency.
Previous highlights: During my PhD, I developed an algebraic semantic model for cyber-physical systems, and an operational specification in a rewriting framework. Concurrently, I contributed to the development of a compiler for the Reo coordination language, and implemented a framework in Maude for the execution and analysis of concurrent systems.
You can find a short version of my cv, and the manuscript of my PhD thesis (defended on June 1st 2023).