Associate Professor & Researcher

I am an associate professor at the Laboratory of Algorithms, Complexity and Logic (LACL) at Université Paris-Est Créteil (UPEC). I teach at EPISEN and am a member of the Specification and Verification of Systems team.

Previously, I was a postdoctoral researcher in the Autonomous and Critical Embedded Systems (ACES) group at the LTCI laboratory of Télécom Paris, within the Networks and Computer Science department, where I worked from February 2024 to September 2025. I obtained a PhD in Computer Science from the University of Namur, where my research focused on the development of timed automata using asynchronous clocks.

My research addresses both theoretical and practical aspects of formal methods, timed automata, model-based testing, temporal and timed logics, model checking, as well as cyber-physical systems and cybersecurity.

I have developed mutation testing techniques for timed models, logical frameworks for cybersecurity-oriented dynamic games, and verification tools (MUPPAAL, MIMETIC, MUTES). My work has particularly focused on clock synchronization and desynchronization in timed automata theory, as well as temporal logics for adversarial systems. These works are applied to cybersecurity, with a focus on real-time systems, security, and resilience against attacks.