Fiche de MERCADIER Darius

Informations professionnelles


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


Date de debut de thèse: 1 octobre 2017
Date soutenance de thèse: 25 novembre 2020
Encadrant : Dagand PIERRE-EVARISTE (IRIF)
Directeur de thèse: Gilles MULLER (LIP6)
Sujet de thèse: Certified and Optimizing Bit Slicing Compiler Numéro PRD: 4536
Contrat thèse: Dotation ED