Welcome!
I am a post-doctoral researcher at the Inria center of the university of Rennes, on the project cert-t.
I am a post-doctoral researcher at the Inria center of the university of Rennes, on the project cert-t.
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 focuses on using precise mathematical tools to capture side effects of computing systems. More specifically, I research formal semantics for real-time instructions of system languages, and temporal correctness proofs for compilers.
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.
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.
Link to my cv.