Research
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.
Publications
- Théodore Lopez, Benjamin Monmege, Jean-Marc Talbot Determinisation of Finitely-Ambiguous Copyless Cost Register Automata, MFCS 2019
Attended Events
Teaching
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)
Contact
- E-mail: theodore.lopez at lis-lab.fr
-
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)