About

I am currently a Ph.D. candidate in cybersecurity (2023–present) at Télécom Paris, Institut Polytechnique de Paris, in collaboration with Ledger Donjon. My doctoral research investigates the security properties of binaries compiled from programs written in the Go programming language. Specifically, it applies concolic (combined concrete and symbolic) execution techniques to identify bugs and vulnerabilities in production-ready binaries. I conduct this research under the supervision of Prof. Rida Khatoun (Télécom Paris), Dr. Yannick Seurin, and Nicolas Iooss (Ledger Donjon), bridging academic research and industrial security practice. Further details are available on thèse.fr.

Prior to my doctoral studies, I completed intensive preparatory classes (Classes Préparatoires aux Grandes Écoles) in Mathematics, Physics, and Mechanics before entering Télécom SudParis, a leading French engineering institution and member of both Institut Polytechnique de Paris and the Institut Mines-Télécom network. I graduated with a Master of Science and Engineering Degree (Diplôme d'Ingénieur), specializing in Cybersecurity with coursework spanning telecommunications, computer science, networks, and electronics.

In September 2022, I earned the ESSI certification (Expert en Sécurité des Systèmes d'Information) from ANSSI, the French National Cybersecurity Agency, demonstrating advanced expertise in information systems security.

My academic trajectory reflects a sustained commitment to understanding the formal foundations of secure systems while maintaining strong connections to practical implementation challenges in decentralized technologies.