Informations professionnelles
Statut: Doctorant en plus de quatre
ED: EDITE
Unité de recherche: LIP6
Equipe: APR
Employeur: Nomadic Lab Date de debut de thèse: 1 décembre 2020 Directeur de thèse: Antoine MINE (LIP6) Sujet de thèse: Analyse statique par interprétation abstraite de smart contracts en Michelson
Equipe: APR
Employeur: Nomadic Lab Date de debut de thèse: 1 décembre 2020 Directeur de thèse: Antoine MINE (LIP6) Sujet de thèse: Analyse statique par interprétation abstraite de smart contracts en Michelson