Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: 1 septembre 2016 Date soutenance de thèse: 21 novembre 2019 Directeur de thèse: Antoine MINE (LIP6) Sujet de thèse: Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats
Date de debut de thèse: 1 septembre 2016 Date soutenance de thèse: 21 novembre 2019 Directeur de thèse: Antoine MINE (LIP6) Sujet de thèse: Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats