Fiche de ZIAT Ghiles nacer

Informations professionnelles


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


Date de debut de thèse: 1 juillet 2016
Date soutenance de thèse: 3 juillet 2019
Directeur de thèse: Antoine MINE (LIP6)
Encadrante : Charlotte TRUCHET ()
Sujet de thèse: Combinaison de l'interprétation abstraite et de la programmation par contraintes : fondements et applications à l'amélioration de l'analyse de programmes et de la résolution de contraintes Numéro PRD: 4305