Expérience Professionelle

2023 - maintenant
Maître de Conférences
Recherche : Conception numérique et vérification, sécurité, compilation
Enseignements : Architectures matérielles, programmation embarquée, sécurité matérielle
Verimag/UGA, Grenoble
2022 - 2023
Chercheur post-doctorant
Recherche : Vérification formelle de règles électriques au niveau transistor
Enseignements : Programmation (C, OCaml, python)
LIP (ENS & INRIA), Lyon
Aniah, Grenoble
2018 - 2022
Doctorant
Recherche : Méthodologie de conception de circuits pour FPGA basée sur le paradigme de construction matérielle
Enseignements : Architectures matérielles, programmation bas-niveau (C, asm)
TIMA (UGA & Grenoble INP)

Formation

2018 - 2022
Thèse de doctorat préparée au sein de l'équipe SLS du laboratoire TIMA.
"Utilisation de langages de construction matérielle pour une exploration flexible des espaces de conception sur FPGA"
Université Grenoble Alpes
2017 - 2018
Master en Cybersécurité
Université Grenoble Alpes
2015 - 2018
Diplôme d'Ingénieur en Informatique et Mathématiques Appliquées
Spécialité en Systèmes et Logiciels Embarqués (SLE)
Grenoble INP - Ensimag
2013 - 2015
Classe préparatoire intégrée, groupe INP
Spécialité en mathématiques et informatique
Grenoble INP - La Prépa
Site de Valence
2010 - 2013
Baccalauréat Scientifique
Option SVT, spécialité mathématiques
Lycée Geneviève de Gaulle Anthonioz, Milhaud, Gard

Curriculum Vitae (pdf)