Research

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.

Publications

External lists: DBLP, arXiv

Talks

  • Optimal Reachability in 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

Reviews

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

Teaching

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)

Contact

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