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. Plus précisément, nous avons introduit l'utilisation de 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.