Research
Research Interests
- Precision tuning & scientific data compression
- Green & frugal computing
- Computer arithmetic & numerical accuracy
-
Abstract interpretation
- Semantics-based code transformations & synthesis
- Validation of embedded systems
- Safety of Neural Networks & arithmetic issues
Current Projects & Collaborations
- Linguatec IA : Réère en intelligence artificielle pour les langues
- Numalis : Scientific collaboration with the start'up Numalis
Current PhD Students
Past PhD Students