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
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