Catal | Espaol | English    AAA
Web del equipo docente e investigador de la Universitat Oberta de Catalunya
 Investigacin

Mis intereses de investigacin son:
  

  • 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


En esta seccin encontraris informacin sobre los proyectos de investigacin y los eventos cientficos en que he participado. Podes encontrar informacin sobre mis publicaciones cientficas en la seccin sobre  Publicaciones.