Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
Equipe: APR
Employeur: Sorbonne Université Date de debut de thèse: 24 octobre 2022 Directeur de thèse: Antoine MINE (LIP6) Sujet de thèse: Under-Approximated Program Analysis and Counter-Example Generation by Abstract Interpretation Thématique : Modèles de calcul, preuve, vérification
Equipe: APR
Employeur: Sorbonne Université Date de debut de thèse: 24 octobre 2022 Directeur de thèse: Antoine MINE (LIP6) Sujet de thèse: Under-Approximated Program Analysis and Counter-Example Generation by Abstract Interpretation Thématique : Modèles de calcul, preuve, vérification