Catal | Espaol | English    AAA
Web of the faculty and research staff of the Universitat Oberta de Catalunya

My research interests are:

  • Formal methods in Software Engineering
    • Verification of UML models [The UMLtoCSP tool].
  • Formal verification
    • Program static analysis
    • Abstract interpretation
    • Timing analysis of concurrent systems
  • Numerical properties and abstract domains
    • Convex polyhedra
    • The octahedron abstract domain

In this section you will find information about research projects and scientific events where I have participated. You can find information about my scientific publications in the Publications section.