Català | Español | English    AAA
Web de l’equip docent i investigador de la Universitat Oberta de Catalunya
 Recerca

El meus interessos de recerca són:

 
  • 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 aquesta secció trobareu informació sobre els projectes de recerca i esdeveniments científics on he participat. Podeu trobar informació sobre les meves publicacions científiques a la secció sobre Publicacions.