Informations professionnelles
Statut: Doctorant en première année
ED: EDITE
Unité de recherche: LIP6
Equipe: APR
Date de debut de thèse: 1 juillet 2024 Directeur de thèse: Antoine MINE (LIP6) Encadrant : Raphael MONAT (Inria Lille) Sujet de thèse: Analyse statique par interprétation abstraite des langages fonctionnels et application à l'analyse de programmes OCaml Thématique : Modèles de calcul, preuve, vérification
Equipe: APR
Date de debut de thèse: 1 juillet 2024 Directeur de thèse: Antoine MINE (LIP6) Encadrant : Raphael MONAT (Inria Lille) Sujet de thèse: Analyse statique par interprétation abstraite des langages fonctionnels et application à l'analyse de programmes OCaml Thématique : Modèles de calcul, preuve, vérification