Fachbereich: Sistemas Informáticos y Computación

Fakultät: Ciencias Matemáticas

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Diseño y análisis formal de sistemas de software

Email: minesfc@ucm.es

Doktorin von der Universidad Complutense de Madrid mit der Dissertation Análisis medio de algoritmos de reducción sobre árboles 1988. unter der Leitung von Dr. Jean-Marc Steyaert.