Fiche de SALL Boubacar demba

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6


Date de debut de thèse: 1 octobre 2018
Date soutenance de thèse: 1 octobre 2020
Encadrant : Frédéric PESCHANSKI (LIP6)
Directeur de thèse: Emmanuel CHAILLOUX (LIP6)
Sujet de thèse: Méthodes formelles et langages de haut niveau pour logiciels embarqués Numéro PRD: 4579