Research
Videos
- Video presentations of Numalis and SATT AxLR
- Video of my talk at Microsoft Research: Numerical Programs: From Roundoff Error Detection to Accurate Formula Synthesis
Research Interests
- Static analysis by abstract interpretation
- Code synthesis and semantics-based program manipulations for numerical accuracy
- Fixed-point and floating-point computations
- Validation of hybrid systems
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