Corto MASCLE - Admis au titre de docteur

Doctorat Informatique

Thèse soutenue le 28 novembre 2024 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Vérification et synthèse de systèmes distribués à synchronisation faible

Mots-clés de la thèse : systèmes distribués,synthèse de contrôleurs,vérification,,

Direction de thèse : Anca MUSCHOLL

Co-direction de thèse : Igor WALUKIEWICZ

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Master - Master d'informatique MPRI

obtenu en septembre 2020 - Université Paris Diderot
Option : Informatique

Dernière mise à jour le 23 février 2025