
PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
Department: Informática
Area: Computer Languages and Systems
Research group: GRUPO DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE
Email: tuya@uniovi.es
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.