EDUCATION

• Associate Professor of Software Engineering, Universidad Complutense de Madrid, Spain.
• Doctor of Philosophy, Universidad de Navarra, Spain.
• Bachelor of Philosophy, Universidad de Navarra, Spain.

RESEARCH INTERESTS

• Software engineering. Model-based engineering.
• Software security. Model-based software security.
• Logics in Computer Science. Software verification.