PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
Departament: Informática
Àrea: Llenguatges i Sistemes Informàtics
Grup d'investigació: 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.