Fiche de PLOUVIEZ Geoffrey

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
Directeur de thèse: Alain GREINER (LIP6)
Sujet de thèse: Etude, spécification et vérification formelle de mécanismes de virtualisation sécurisée pour architecture multi coeurs multi processeurs. Numéro PRD: 3341