Since Septembre 2018, I am a PhD Student at Aix-Marseille Université (AMU), in the Laboratoire d'Informatique et Systemes (LIS), in the team Modélisation et Vérification (Move). My PhD is supervised by Benjamin Monmege and Jean-Marc Talbot and is focused on Alternating Weighted Automata, their relations with formalisms of Weighted Automata and Cost Register Automata. See my CV.


Attended Events


I am teaching in the Computer Science and Interactions Department of Aix-Marseille Université.

  • 2019-2020:
    • Algorithmique 2 (Licence 3, TP)
    • Langages Formels (Licence 2, TD and TP)
    • Mise en oeuvre en informatique (Licence 1, TP)
  • 2018-2019:
    • Langages Formels (Licence 2, TD and TP)
    • Programmation 1 (Licence 1, TD and TP)


  • E-mail: theodore.lopez at
  • Address: Laboratoire d’Informatique et Systèmes
    Parc Scientifique de Luminy
    163 avenue de Luminy - Case 901
    F-13288 Marseille Cedex 9, France
    Office: D209 (former library building, first floor)