About Me

I am a Ph.D. student in formal methods for cybersecurity games at the Polytechnic Institute of Paris in the ACES Team at Telecom Paris, supervised by Prof. Dr. Vadim Malvone and Prof. Dr. Jean Leneutre. Previously, I was a non-commissioned officer and SOC N2-N3 analyst in the French army.

My research focuses on proactive cybersecurity for automotive cyber-physical systems (CPS), with an emphasis on Moving Target Defense (MTD). The core idea is to reduce an attacker’s strategic advantage by introducing dynamism and uncertainty while respecting real CPS constraints. I explore how to combine realistic threat modeling (multi-stage scenarios, dependencies between components), attacker–defender games, and formal verification (temporal logics and multi-agent model checking) to analyze adaptive defense strategies and characterize trade-offs between security gains and operational cost.

When I’m not in the lab, you’ll find me doing OSINT, painting Warhammer, or devouring sci-fi, would you like to know more?

Research interest

• Formal Methods & Automated Verification
• Cybersecurity Games
• Strategic Reasoning & Multi-Agent Systems