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

Chercheur post-doctorant
Recherche : Vérification formelle de règles électriques au niveau transistor
Enseignements : Programmation (C, OCaml, python)

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)

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

Master en CyberSécurité

Diplôme d'Ingénieur en Informatique et Mathématiques Appliquées
Spécialité en Systèmes et Logiciels Embarqués (SLE)

Classe préparatoire intégrée, groupe INP
Spécialité en mathématiques et informatique

Baccalauréat Scientifique
Option SVT, spécialité mathématiques