Department: LENGUAJES Y CIENCIAS DE LA COMPUTACION

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

Institute: INSTITUTO DE TECNOLOGÍA E INGENIERÍA DEL SOFTWARE "JOSÉ MARÍA TROYA LINERO" (ITIS)

Universidad: University of Málaga

Area: Computer Languages and Systems

Email: fdm@uma.es

Doctor by the Universidad de Málaga with the thesis Un álgebra de módulos reflexiva con aplicaciones al lenguaje Maude 1999. Supervised by Dr. José Meseguer Guaita.