Fiche de HOUHOU Sara

Informations professionnelles


Statut: Doctorant
ED: EDITE
Unité de recherche: LIP6
Employeur: Univ. Montpellier


Date de debut de thèse: 1 janvier 2017
Directeur de thèse: Pascal POIZAT (LIP6)
Directeur de thèse: Souheib BAARIR (LIP6)
Sujet de thèse: Vérification paramétrée et dérivation de code à partir de spécifications formelles pour les systèmes embarqués Numéro PRD: 5401
Thématique : Modèles de calcul, preuve, vérification
Contrat thèse: Ens. Sup. - Autres

Date de prévisionnelle de soutenance: 3 septembre 2021