Domaines de recherche

• Le logiciel CADNA


• Etude et modélisation théorique de l'approche probabiliste des erreurs d'arrondi : Méthode CESTAC et Arithmétique Stochastique.


• Création de librairies et de bibliothèques pour la validation numérique du calcul scientifique sur ordinateur.


• Analyse de stabilité des grands codes de calcul numérique.


• Développement de librairies numériques fiabilisées.


• Etude et développement d'algorithmes robustes intégrant les erreurs d'arrondi.


• Application aux algorithmes de résolution des grands systèmes linéaires creux et aux algorithmes de maillage.