Biography
I graduated from Grenoble INP - Ensimag in 2018, where I studied Embedded Systems and Software, and Université Grenoble Alpes, where I studied CyberSecurity. My PhD researches were then directed by Frédéric Rousseau and supervised by Olivier Muller, between 2018 and 2022, in the SLS team at TIMA lab. We aimed at using the emerging paradigm of Hardware Construction Languages to build a flexible exploration methodology, and provided a PoC framework based on Chisel, as well as an applicative benchmark. From March 2022 to August 2023, I was a post doctoral fellow at LIP laboratory (Lyon), in the CASH team. I worked on formal verification of electronical circuits (ERC) at transistor level, in collaboration with Aniah, a Grenoble-based company, and Verimag laboratory.
Since September 2023, I am an Associate Professor (MCF) in Grenoble. I'm doing my research at Verimag, and I'm teaching at Université Grenoble Alpes (UGA), mainly in UFR IM²AG.
Since September 2023, I am an Associate Professor (MCF) in Grenoble. I'm doing my research at Verimag, and I'm teaching at Université Grenoble Alpes (UGA), mainly in UFR IM²AG.
Contact
Email address: bruno[dot]ferres[at]univ-grenoble-alpes[dot]fr
Mail address:
Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères
FRANCE