Saila: Informática

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: GIIS Grupo de Investigación en Ingeniería del Software

E-maila: tuya@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. Tesiaren zuzendaria Dr. José Antonio Corrales González.