Fiche de PAROLINI Francesco

Informations professionnelles


Statut: Doctorant en deuxième année
ED: EDITE
Unité de recherche: LIP6
Employeur: SU


Date de debut de thèse: 1 octobre 2020
Directeur de thèse: Antoine MINE (LIP6)
Sujet de thèse: Static Analysis for Security Properties of Software by Abstract Interpretation Numéro PRD: 8061
Contrat thèse: ERC