Professional Experience
2023 - now
Associate Professor
Research: Digital design and verification, security, compilation
Teaching: Hardware architectures, low-level programming, hardware security
Research: Digital design and verification, security, compilation
Teaching: Hardware architectures, low-level programming, hardware security
Verimag/UGA, Grenoble
2022 - 2023
Post doctoral researcher
Research: Formal verification of electrical rules at transistor level
Teaching: Programming (C, OCaml, python)
Research: Formal verification of electrical rules at transistor level
Teaching: Programming (C, OCaml, python)
LIP (ENS & INRIA), LyonAniah, Grenoble
2018 - 2022
PhD Candidate
Research: Hardware Construction Language based design methodology for FPGA circuits
Teaching: Hardware architectures, low-level programming (C, asm)
Research: Hardware Construction Language based design methodology for FPGA circuits
Teaching: Hardware architectures, low-level programming (C, asm)
TIMA (UGA & Grenoble INP)
Education
2018 - 2022
PhD thesis prepared at TIMA laboratory, in the System Level Synthesis (SLS) team.
"Leveraging Hardware Construction Languages for Flexible Design Space Exploration on FPGA"
Université Grenoble Alpes
2017 - 2018
MSc in CyberSecurity
Université Grenoble Alpes
2015 - 2018
Engineering Degree in Computer Science and Applied Mathematics
Major in Embedded Software and Systems
Major in Embedded Software and Systems
Grenoble INP - Ensimag
2013 - 2015
Preparatory classes for engineering schools belonging to the INP group
Major in Mathematics and Computer Sciences
Grenoble INP - La PrépaSite de Valence