Bienvenue sur ma page web

Depuis novembre 2023, je suis post-doctorante dans le groupe Automata theory de la faculté de mathématiques, d'informatique et de mécanique de l'université de Varsovie en collaboration avec Sławomir Lasota. Je m'intéresse au problème de la séparabilité déterministe des automates temporisé, et plus particulièrement à son lien avec la synthèse de Church sur des langages temporisé.

Entre septembre 2020 et octobre 2023, j'ai réalisé mon doctorat au Laboratoire d'Informatique et Système (LIS) à Marseille dans l'équipe Modélisation et Vérification (MoVe) sous la supervision de Pierre-Alain Reynier et de Benjamin Monmege. Mon doctorat porte sur l'étude des jeux temporisés à coûts et les stratégies utilisées par les deux joueurs pour jouer optimalement (le manuscrit et les slides de la soutenance). Plus précisément, la contribution principale de mon doctorat est l'introduction des probabilités dans les stratégies afin de remplacer la mémoire utilisée par les stratégies classiques.


Vous trouverez ici quelques informations à propos de moi.