Mes domaines de recherche

• Matrices de transformations
• Équations d’espaces de suites
• Calcul en virgule flottante (arithmétique flottante)
• Méthodes formelles d'analyse statique des programmes.
• Vérification et certification des programmes C flottants.
• Analyse des valeurs des programmes C par interprétation abstraite.
• 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.

Séjours scientifiques

• Participation à Arith19 (19ème Symposium IEEE sur l'arithmétique des ordinateurs), Portland, Oregon, USA, 8-10 Juin 2009.
• Deux semaines de séjour à l'institut Max Planck de Mathématiques à Bonn en Allemagne, Janvier 2006, séjour financé par le DAAD (office allemand d'échanges universitaires).
  
• Deux mois de séjour à l'université de Paderborn en Allemagne au sein de l'équipe du professeur Peter Bürgisser Algebraic Complexity and Algorithmic Algebra. Participation aux séminaires et aux réunions de travail de l'équipe. Thèmes abordés: factorisation absolue des polynômes multivariés et la théorie de complexité. Mai-Juin 2005. Séjour financé par le DAAD.