Research


Areas of research specialization

  • Matrix transformations
  • Sequence spaces equations
  • Floating-point arithmetic
  • Formal methods for static analysis of programs
  • Deductive verification of floating-point C programs
  • Value analysis of C programs by abstract interpretation
  • Symbolic algebraic computation
  • Design and complexity analysis of algorithms
  • Real algebraic geometry and solving of polynomial systems
  • Nonlinear differential equations




Scientifical stays
  • Participation to Arith19 (The 19th IEEE Symposium on Computer Arithmetic), Portland, Oregon, USA, June 8-10, 2009.
  • Two weeks of research stay at the Max Planck Institute for Mathematics at Bonn in Germany, january 2006. Stay funded by the DAAD (German academic exchange service).
  • Two months of research stay at the university of Paderborn in Germany in the research group of Professor Peter Burgisser Algebraic Complexity and Algorithmic Algebra. Participation to the seminaries and discussions with the members of this group during the stay. Subjects studied : Absolute factorization of parametric multivariate polynomials and the complexity theory. May-June 2005. Stay funded by the DAAD.