PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
Saila: Informática
Eremua: Lengoaia eta Sistema Informatikoak
Ikerketa taldea: 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.