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
Formal verification of electrical rules at transistor level
Formal verification of electrical rules at transistor level
LIP (ENS & INRIA), LyonAniah, Grenoble
2018 - 2022
PhD Candidate
Hardware Construction Language based design methodology for FPGA circuits
Hardware Construction Language based design methodology for FPGA circuits
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