Research
Research Interests
- Computer arithmetic & numerical accuracy
-
Abstract interpretation
- Semantics-based code transformations & synthesis
- Validation of embedded systems
- Safety of Neural Networks & arithmetic issues
- Green & frugal computing
- Precision tuning & scientific data compression
Current Projects & Collaborations
- TYCOON: Strongly Typed Numerical Computations, Office for Naval Research Global (ONRG), Grant N62909-18-1-2068. Partners: Numalis.
- SYFI: Code Synthesis for the Fixed-Point Arithmetic., Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE), région Occitanie, Partners: Numalis, ONERA, IRIT.
- Numalis: Scientific collaboration with the start'up Numalis
Current PhD Students
Past PhD Students