Since September 2016, I am now a PHD Student at Aix-Marseille Université (AMU), in the Laboratoire d'Informatique Fondamentale de Marseille (LIF), as a member of the team Modelisation and Verification. I am working on Weighted Timed Games under the supervision of Benjamin Monmege and Pierre-Alain Reynier. See my CV.


I am teaching in the Computer Science and Interactions Department of Aix-Marseille Université. In 2016-2017, I teach in the following courses:

  • Algorithmique Avancée (Licence 3, TP)
  • Automates et circuits (Licence 1, TD and TP)


  • E-mail: damien.busatto at
  • Address: Laboratoire d’Informatique Fondamentale
    Parc Scientifique de Luminy
    163 avenue de Luminy - Case 901
    F-13288 Marseille Cedex 9, France
    Office: D202 (building BU, 2nd floor, side entrance)