MIGUEL JUAN
HORNOS BARRANCO
PROFESOR TITULAR DE UNIVERSIDAD
DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMÁTICOS
FACULTAD: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES
Área: Linguaxes e Sistemas Informáticos
Grupo de investigación: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS
Correo: mhornos@ugr.es
Doutor pola Universidad de Granada coa tese Desde especificaciones lógicas de intervalos a autómatas de propiedad una construcción tableau para su aplicación en comprobación de modelos on-the-fly 2002. Dirixida por Dr. Manuel Capel Tuñón.