
MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Departamento: Sistemas Informáticos y Computación
Facultad: Informática
Área: Lenguajes y Sistemas Informáticos
Grupo de investigación: Design and Testing of Reliable Systems
Email: manuelnu@ucm.es
Web personal: https://antares.sip.ucm.es/manolo/
Doctor por la Universidad Complutense de Madrid con la tesis Semánticas de pruebas para álgebras de procesos probabilísticos 1996. Dirigida por Dr. David de Frutos Escrig.