Department: Informática

Institute/Center: Instituto Universitario de Tecnología Industrial de Asturias

Universidad: University of Oviedo

Area: Computer Languages and Systems

Research group: GIIS Grupo de Investigación en Ingeniería del Software

Email: tuya@uniovi.es

Personal web: https://giis.uniovi.es/tuya/

Doctor by the Universidad de Oviedo with the thesis Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. Supervised by Dr. José Antonio Corrales González.