Yahia Idriss Benalioua

Depuis octobre 2022, je suis doctorant dans l'équipe de Modelisation et Verification (MoVe) du Laboratoire d'Informatique et des Systèmes (LIS) d'Aix-Marseille Université (AMU), sous la direction de Nathan Lhote et Pierre-Alain Reynier.

Je travaille actuellement sur la théorie des automates quantitatifs, en utilisant principalement des outils algébriques afin de résoudre des problèmes liés aux automates pondérés (WA) / transducteurs et aux automates à registres (CRA) / transducteurs à registres (SST).