Welcome to my homepage!

Check out latest news

 

IMG_4540Hello! I’m a faculty researcher at Inria in Lyon, specializing in optimizing numerical computations with computer arithmetic tools. My focus includes enabling deep learning on resource-constrained devices and enhancing digital signal processing.

Before Inria, I was an Associate Professor at the University of Nantes, between 2019 and 2023. Before my academic role in Nantes, I gained valuable experience as a research resident at Intel Corporation in San Diego, USA, and as a postdoctoral researcher at Inria in Lyon, France. My academic journey began at Sorbonne University (UPMC) with a PhD I did between 2014 and 2017 under the guidence of Christoph Lauter, Thibault Hilaire and Jean-Claude Bajard.


Towards efficient and accurate software and hardware. Computer arithmetic approach.

My research topics are reliable computing and performance optimization of numerical computations for software (SW) and embedded hardware (HW). My focus is on the finite-precision data representations and how the choices related to the precision and architecture of arithmetic operations influence the SW/HW accuracy and performance. The use of fixed- or floating-point representations results in computational errors that can have a serious impact on the result of the execution. Furthermore, choices about arithmetic (e.g. precision data and of arithmetic operators) inevitably influence the performance of the software and/or the target hardware cost. The programmer’s burden is then to find a trade-off between the compute precision, the result’s accuracy and the performance. 

My research philosophy for almost 10 years has been the following: developers are not required to be FP or FxP arithmetic specialists and we need to build tools that will automatically make architectural decisions to reach the “sweet spot” between performance and accuracy, using knowledge specific to the application domain.

My research has been gravitating around the design and optimization of arithmetic operators (from multiplication by constants to function approximation), and their use in digital signal processing and machine learning applications.