
MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Departament: Sistemas Informáticos y Computación
Facultat: Informática
Àrea: Llenguatges i Sistemes Informàtics
Grup de recerca: Design and Testing of Reliable Systems
Correu: manuelnu@ucm.es
Web personal: https://antares.sip.ucm.es/manolo/
Doctor per la Universidad Complutense de Madrid amb la tesi Semánticas de pruebas para álgebras de procesos probabilísticos 1996. Dirigida per Dr. David de Frutos Escrig.