Department: Sistemas Informáticos y Computación

Faculty: Informática

Universidad: Complutense University of Madrid

Area: Computer Languages and Systems

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

Email: clsegura@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Análisis de programas en lenguajes funcionales paralelos 2001. Supervised by Dr. Ricardo Peña Marí.