Thèmes de recherche:
Matrices de transformations - Équations d’espaces de suites -
Calcul formel et analyse de complexité des algorithmes -
Géométrie algébrique réelle et résolution des systèmes polynomiaux -
Équations différentielles non linéaires -
Arithmétique flottante -
Méthodes formelles d'analyse statique des programmes -
Vérification et certification des programmes C flottants.