Yahia Idriss Benalioua

Since october 2022, I am a PhD student in the Modelisation and Verification (MoVe) research team at the Laboratoire d'Informatique et des Systèmes (LIS) of Aix-Marseille Université (AMU), under the supervision of Nathan Lhote and Pierre-Alain Reynier.

I currently work on quantitative automata, mainly using algebraic tools to solve problems related to Weighed Automata / Transducers and Cost Register Automata (CRA) / Streaming String Transducers (SST).

Photo of a sunset over El-Kala

Contact

  • E-mail : yahia [hyphen] idriss [dot] benalioua [at] lis [hyphen] lab [dot] fr
  • Office : 4.17 in TPR2 Building, fourth floor
  • Address :
    • Laboratoire d’Informatique et des Systèmes
    • Parc Scientifique de Luminy
    • 163 avenue de Luminy - Case 901
    • F-13288 Marseille Cedex 9, France
background image