Departament: Informática

Àrea: Llenguatges i Sistemes Informàtics

Grup de recerca: GIIS Grupo de Investigación en Ingeniería del Software

Correu: tuya@uniovi.es

Doctor per la Universidad de Oviedo amb la tesi Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. Dirigida per Dr. José Antonio Corrales González.