Homepage

Research

Teaching

Publications


Research Interests
  • Numerical Accuracy

  • Transfomation of Programs

  • Floating-point Computations

  • Compilation

  • Formal Methods

  • Abstract Interpretation

  • Static Analysis

  • Embedded Systems