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)

Eremua: Lengoaia eta Sistema Informatikoak

E-maila: rossi@uma.es

Doctor por la Universidad de Málaga con la tesis Lógica temporal de intervalos, formalización de diagramas de estados 2001. Tesiaren zuzendaria Dr/a. Inmaculada Pérez de Guzmán Molina, Dr. Manuel Enciso García-Oliveros.