Fiche de SYLVESTRE Loïc

Informations professionnelles


Statut: Doctorant en première 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