Research interests:
Matrix transformations -
Sequence spaces equations -
Symbolic algebraic computation -
Design and complexity analysis of algorithms -
Real algebraic geometry and solving polynomial systems -
Nonlinear differential equations -
Floating-point arithmetic -
Formal methods for static analysis of programs -
Deductive verification of floating-point C programs.