MIGUEL JUAN
HORNOS BARRANCO
PROFESOR TITULAR DE UNIVERSIDAD
Fachbereich: LENGUAJES Y SISTEMAS INFORMÁTICOS
Fakultät: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS
Email: mhornos@ugr.es
Doktor von der Universidad de Granada mit der Dissertation 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. unter der Leitung von Dr. Manuel Capel Tuñón.