
MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Département: Sistemas Informáticos y Computación
Faculté: Informática
Domaine: Lenguajes y Sistemas Informáticos
Groupe de recherche: Design and Testing of Reliable Systems
Email: manuelnu@ucm.es
Web personnel: https://antares.sip.ucm.es/manolo/
Docteur à l Universidad Complutense de Madrid avec la thèse Semánticas de pruebas para álgebras de procesos probabilísticos 1996. Dirigée par Dr. David de Frutos Escrig.