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


External lists: DBLP, arXiv


  • Symbolic Approximation of Weighted Timed Games, Highlights '18, Berlin, Germany, September 2018
  • Optimal Reachability in Divergent Weighted Timed Games, GT Verif+ALGA 2017, Créteil, France, May 2017
  • Optimal Reachability in Divergent Weighted Timed Games, FoSSaCS 2017, Uppsala, Sweden, April 2017
  • Optimal Reachability of Diverging Priced Timed Games, MOVEP '16, Genova, Italy, June 2016

Attended Events


  • Subreviewer for international conferences: LPAR, FoSSaCS, MFCS, FORMATS


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

  • 2017-2018:
    • Algorithmique Avancée (Licence 3, TD and TP)
    • Systèmes d'exploitation (Licence 3, TD)
  • 2016-2017:
    • Algorithmique Avancée (Licence 3, TP)
    • Automates et circuits (Licence 1, TD and TP)


  • E-mail: damien.busatto 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: D202 (BU library building, first floor)