Department: LENGUAJES Y CIENCIAS DE LA COMPUTACION

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

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

Area: Computer Languages and Systems

Email: rossi@uma.es

Doctor by the Universidad de Málaga with the thesis Lógica temporal de intervalos, formalización de diagramas de estados 2001. Supervised by Dr. Inmaculada Pérez de Guzmán Molina, Dr. Manuel Enciso García-Oliveros.