PhD Candidate · Vérification Formelle & Logique · UPEC, France
Doctorante en fin de thèse à l'Université Paris-Est Créteil, je travaille à l'intersection de la vérification formelle, de la théorie des automates, de la théorie des jeux et des logiques temporelles et stratégiques pour les systèmes hybrides. Ma thèse porte sur les problèmes de vérification et de synthèse pour les jeux hybrides. Soutenance prévue au premier semestre 2026–2027.
Recherche à l'intersection de la théorie de la vérification, des automates, de la théorie des jeux, des logiques temporelles et stratégiques, et de la synthèse pour les systèmes hybrides.
Mémoire : Secret Sharing Schemes
Recherche en vérification formelle, synthèse, méthodes automates et théorie des jeux, logiques temporelles et stratégiques.
Cryptographie quantique et constructions cryptographiques symétriques.
Technologie blockchain et Bitcoin – Département Sécurité & Gestion des Risques.
Mathématiques, Informatique, Java, Théorie des Graphes, Physique.