Department: Ingeniería del Software e Inteligencia Artificial

Faculty: Informática

Area: Computer Languages and Systems

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

Email: fernan@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Sistema de identificación y explotación de paralelismo en programas lógico-funcionales 1996. Supervised by Dr. José Jaime Ruz Ortiz.