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.