Pierre GAILLARD - Thèse en cours
Identifiant ORCID
0009000970546360
Doctorat Informatique
-
Université de Bordeaux
Ecole doctorale
:
Mathématiques et Informatique
Sujet
: Jeux Stochastiques Programmatiques
Mots-clés de la thèse
: Théorie des jeux,Vérification,Synthèse,,
Direction de thèse
: Nathanaël FIJALKOW
Co-direction de thèse
: Giuseppe PERELLI
Cotutelle
Università di Roma - « La Sapienza » ITALIE
Descriptif : 1ère année: Rome 2ème année: Bordeaux 3ème année: Bordeaux
Unité de recherche :
LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800
- Talence
Intitulé de l'équipe :
Méthodes et Modèles formels
Dernière mise à jour le 30 janvier 2026
