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

  • Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach, CAV 2019, New York City, USA, July 2019
  • Robust controller synthesis for Büchi conditions in timed systems, ANR Ticktac Meeting, Rennes, France, April 2019
  • Robust controller synthesis for Büchi conditions in timed systems, Seminaire Pole Calcul (LIS), Marseille, France, March 2019
  • Symbolic Approximation of Weighted Timed Games, FSTTCS 2018, Ahmedabad, India, December 2018
  • 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

Reviews

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

Teaching

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

  • 2018-2019:
    • Complexité (Master 1, 14hTP)
    • Langages Formels (Licence 2, 15hTD + 6hTP)
    • Mise en oeuvre informatique (Licence 1, 15hTD + 15hTP)
  • 2017-2018:
    • Algorithmique Avancée (Licence 3, 20hTD + 20hTP)
    • Systèmes d'exploitation (Licence 3, 20hTD)
  • 2016-2017:
    • Algorithmique Avancée (Licence 3, 20hTP)
    • Automates et circuits (Licence 1, 30hTD + 10hTP)

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)