Professional Experience

2023 - now
Associate Professor
Research: Digital design and verification, security, compilation
Teaching: Software/Hardware Architecture, Hardware Security
Verimag/UGA, Grenoble
2022 - 2023
Post doctoral researcher
Formal verification of electrical rules at transistor level
LIP (ENS & INRIA), Lyon
Aniah, Grenoble
2018 - 2022
PhD Candidate
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
Grenoble INP - Ensimag

Curriculum Vitae (pdf)