Research Internships Overview
February 2025 - July 2025: Visiting Student
Imperial College London, Department of Electrical and Electronic Engineering
Verilog Expression Typing - Formal methods for SystemVerilog bit-width inference
May 2024 - July 2024: Research Intern
CentraleSupélec Rennes Campus, SUSHI Team, Inria
RISC-V Processor Development - HeRVé processor with formal verification
May 2023 - July 2023: Research Intern
Formal Methods Laboratory (LMF) Orsay, Toccata Team, Inria
Why3 Transformations and Binary Decision Diagrams