Fiche de BAU Guillaume

Informations professionnelles


Statut: Doctorant en deuxième année
ED: EDITE
Unité de recherche: LIP6
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 Numéro PRD: 8062
Contrat thèse: Prives (Hors CIFRE) -- CDI