Sylvain RAÏS - Thèse en cours

Compte LinkedIn https://www.linkedin.com/in/sylvain-ra%C3%AFs-a56b6a1b5/

Doctorat Informatique

- Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Méthodes formelles pour la conception de systèmes robotiques robustes

Mots-clés de la thèse : Robot language,Vérification et modélisation formelle,Vérification multi-niveau,Analyse d'ordonnançabilité,Systèmes temps-réel,

Direction de thèse : Olivier LY

Co-encadrement de thèse : Frédéric HERBRETEAU

Co-encadrement de thèse : David DOOSE

Co-encadrement de thèse : Julien BRUNEL

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

Ingénieur - ENSEIRB-MATMECA - Informatique - Spécialité : Algorithmes et Méthodes Formelles

obtenu en septembre 2023 - Bordeaux INP
Option : Algorithmes et Méthodes Formelles
Langues Vivantes : Anglais B2 - Intermédiaire supérieur - Français C2 - Maternel

Dernière mise à jour le 3 septembre 2024