I am a Research Engineer in the Software Safety and Security Laboratory at the CEA List Institute, where I work on the formal verification of safety-critical and real-time systems, within the Frama-C platform and, more specifically, on the Frama-C/Synchrone plugin.

My research interests lies at the intersection of formal methods, synchronous-reactive systems, program analysis, and real-time systems. I am particularly interested in techniques that bridge the gap between implementation-level software and formal models, combining static analysis, deductive reasoning, and model checking for the verification of reactive safety-critical systems.

I received a PhD in Computer Science from the Centre Inria of Université Côte d’Azur in 2023, in collaboration with the Inria KAIROS team and Asterios Technologies (Safran group). My doctoral research focused on the semantics and formal verification of real-time programs based on the synchronous Logical Execution Time paradigm and synchronous-reactive models (2023 KAIROS activity report).

In addition, I am a part-time lecturer at EPITA, where I teach in the Embedded and Real-Time Systems specialization, with courses covering software testing, static analysis, formal verification, and the validation of safety-critical software.