Antoine Rollet

  • Maître de conférences à l'ENSEIRB-MATMECA (Bordeaux) depuis le 1er septembre 2005                            
  • Docteur en Informatique
  • photo

      Menus
  • Généralités
  • Etudes
  • Enseignements
  • Recherche et publications





    Sujets de stage / Thèse / Postdoc:
    • Pas d'offre à l'heure actuelle
  •  Généralités
  • Laboratoire LABRI (UMR CNRS 5800)

  • Equipe Méthodes Formelles

  • Thèmes de recherche :
    test formel
    monitoring
    vérification à l'exécution
    enforcement à l'exécution
    systèmes temporisés

  • Position :
    Maître de conférences depuis le 1er septembre 2005

  • Adresse professionnelle :
    ENSEIRB-MATMECA
    1 rue du Docteur Albert Schweitzer
    Domain Universitaire
    BP99
    33402 Talence
    email: antoine.rollet-AT-enseirb.fr (remplacer -AT- par @)
    tél: 05-40-00-69-08 (LABRI) ou 05-56-84-23-29 (ENSEIRB)
    fax: 05-40-00-66-69

  • Année de naissance:
    1978