I am a researcher in the TEA group at Inria in Rennes.
I was a PhD candidate in the Computer Security group at CWI in Amsterdam. My research focuses on using formal languages to model and analyze concurrent systems, and more specifically cyber-physical systems. For 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.
Hobbies: Fencing (picture, book), Electronics (clock, dandelion, firefly, inspiration)
My cv.
My PhD thesis (submitted version).