Associate Professor
Research: Digital design and verification, security, compilation
Teaching: Hardware architectures, low-level programming, hardware security

Post doctoral researcher
Research: Formal verification of electrical rules at transistor levelTeaching: Programming (C, OCaml, python)

PhD Candidate
Research: Hardware Construction Language based design methodology for FPGA circuits
Teaching: Hardware architectures, low-level programming (C, asm)

PhD thesis prepared at TIMA laboratory, in the System Level Synthesis (SLS) team.
Leveraging Hardware Construction Languages for Flexible Design Space Exploration on FPGA

MSc in CyberSecurity

Engineering Degree in Computer Science and Applied Mathematics
Major in Embedded Software and Systems

Preparatory classes for engineering schools belonging to the INP group
Major in Mathematics and Computer Sciences

Baccalauréat in Sciences
Major in Mathematics, minor in Biology