Intérêts de Recherche

Mes intérêts de recherche portent sur l'implémentation matérielle d'opérateurs arithmetique. Je travaille sur des formats comme la Virgule Fixe, la Virgule Flottante, ou d'autres plus exotiques. Je suis particulièrement enthousiaste à l'idée de travailler sur des opérateurs fusionnés (qui implémentent une opération complexe précisément, avec un seul arrondi final).

Je suis fan de FloPoCo, que j'utilise pour des applications industrielles. Je développe aussi dans le projet open-source.

Pendant ma thèse, je travaillais sur les opérateurs en Virgule Flottante pour le prochain accélérateur IA et HPC nouvelle génération de Kalray.

Ces jours-ci, je travaille sur la modélisation en Rocq d'opérateurs non-standards de produit scalaire, en particulier sur les implémentations matérielles utilisées dans les GPU.


Publications


Brevets


Présentations