
FERNANDO
ROSA VELARDO
Profesor titular de universidad
Department: Sistemas Informáticos y Computación
Area: Computer Languages and Systems
Research group: Diseño y análisis formal de sistemas de software
Email: frosavel@ucm.es
Doctor by the Universidad Complutense de Madrid with the thesis Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007. Supervised by Dr. David de Frutos Escrig.