Temas de Investigación
- Lenguajes de modelado para la especificación de sistemas (computación social, sistemas ciberfísicos, gemelos digitales).
- Modelado de Incertidumbre, Análisis basado en Modelos.
- Comprobación de Modelos.
- Pruebas basadas en Modelos.
- Autómatas de Aprendizaje.Ingeniería de Seguridad basada en Modelos.
