FERNANDO
ROSA VELARDO
Profesor titular de universidad
Département: Sistemas Informáticos y Computación
Faculté: Informática
Domaine: Lenguajes y Sistemas Informáticos
Groupe de recherche: Diseño y análisis formal de sistemas de software
Email: frosavel@ucm.es
Docteur à l Universidad Complutense de Madrid avec la thèse Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007. Dirigée par Dr. David de Frutos Escrig.