Departamento: LENGUAJES Y CIENCIAS DE LA COMPUTACION

Centro: E.T.S.I. DE INFORMÁTICA

Instituto: INSTITUTO ANDALUZ DE INVESTIGACION E INNOVACIÓN EN TURISMO (IATUR)

Área: Linguaxes e Sistemas Informáticos

Correo: rossi@uma.es

Doutor pola Universidad de Málaga coa tese Lógica temporal de intervalos, formalización de diagramas de estados 2001. Dirixida por Dr/a. Inmaculada Pérez de Guzmán Molina, Dr. Manuel Enciso García-Oliveros.