Monsieur Damien BUSATTO-GASTON / Docteur
enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*
Coordonnées
Emplois
Recherche : NON
Doctorat
Titre : Informatique
1ère inscription en thèse : 1 septembre 2016 / 3A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 3 décembre 2019
Sujet : Synthèse symbolique de contrôleurs pour systèmes temporisés: robustesse et optimalité
Directeur de thèse : REYNIER PIERRE-ALAIN
Co-directeur : MONMEGE Benjamin
Unité de recherche : LIS Laboratoire d'Informatique et Systèmes
Equipe : Modélisation et Vérification
Master
Titre : Master Parisien de Recherche en Informatique
septembre 2016 - ENS Cachan
Mention : B
Langues
Anglais : C1 - Avancé
Français : Maternel