معرفی
Bruno Ferres is an Associate Professor at Université Grenoble Alpes (UGA), affiliated with the Verimag laboratory and the UFR IM²AG school. He holds a PhD in Computer Science from UGA (2022) and an engineering degree from Grenoble INP - Ensimag. His research focuses on formal verification of embedded systems, FPGA design methodologies, hardware security, and compilation techniques. He has led projects such as the ERCTool for transistor-level electrical rule checking and the QECE framework for design space exploration. He teaches courses on hardware architectures, low-level programming, and hardware security.
- Education:
- PhD in Computer Science (2018–2022), TIMA Lab, UGA
- MSc in CyberSecurity (2017–2018), UGA
- Engineering Degree in Computer Science/Applied Mathematics (2015–2018), Grenoble INP - Ensimag
- Research Projects:
- ANR SxC (Shannon meets Cray)
- ANR Arsène (Hardware/Software Security)
- ANR CAOTIC (Timing Interference)
- Labs: Verimag, TIMA, and collaborations with LIP (Lyon) and Aniah (Grenoble).
His work bridges formal methods, FPGA optimization, and security, with applications in electrical rule checking and compiler design. He advises PhD and master’s students on topics like fault-injection countermeasures and multi-core interference analysis.
