Informations professionnelles
Statut: Doctorant en quatrième année
ED: EDITE
Unité de recherche: LIP6
Equipe: APR
Employeur: Sorbonne Université Date de debut de thèse: 11 janvier 2022 Directeur de thèse: Emmanuel CHAILLOUX (LIP6) Directeur de thèse: Jocelyn SEROT (Institut Pascal) Sujet de thèse: Programmation sûre, expressive et efficace de circuits reprogrammables de type FPGA Thématique : Modèles de calcul, preuve, vérification
Equipe: APR
Employeur: Sorbonne Université Date de debut de thèse: 11 janvier 2022 Directeur de thèse: Emmanuel CHAILLOUX (LIP6) Directeur de thèse: Jocelyn SEROT (Institut Pascal) Sujet de thèse: Programmation sûre, expressive et efficace de circuits reprogrammables de type FPGA Thématique : Modèles de calcul, preuve, vérification