Université de Bordeaux

Sarah LARROZE-JARDINÉ - Thèse en cours



Projet professionnel :
  • Enseignement et recherche, enseignement supérieur
  • Recherche en milieu académique
  • Recherche en entreprise, R&D du secteur privé
  • enseignant-chercheur, enseignant du supérieur
  • chercheur en milieu académique

Doctorat Informatique

- Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Méthodes d'ordre partiel optimale en taille pour les systèmes temps-réel concurrents

Mots-clés de la thèse : Systèmes temps-réel,Systèmes concurrents,Techniques d'ordre partiel,Vérification formelle,Automates temporisés,

Direction de thèse : Frédéric HERBRETEAU

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

Ingénieur - Informatique

obtenu en septembre 2021 - Bordeaux INP - ENSEIRB-Matméca
Option : Algorithmes et méthodes formelles
Langues Vivantes : Anglais C2 - Courant - Allemand C1 - Avancé - Français C2 - Maternel
Dernière mise à jour le 10 septembre 2024