Research interests

My research interests include hardware implementation of computer arithmetic of various formats : Floating-Point, Fixed-Point or other more exotic formats. I enjoy working on fused operators (that can implement their operation as if done precisely, with only one final rounding).

I am a fan of Flopoco, and both develop for the open-source project and use the framework for industry applications.

During my thesis, I used to work on Floating-Point operators for Kalray's new generation AI and HPC accelerator.

These days, I work on Rocq modelisation of non-standard dot-product operators, in particular the ones implemented in GPUs.


Publications


Patents


Presentations