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)

Area: Computer Languages and Systems

Research group: INGENIERIA DEL SOFTWARE

Email: mdgallardo@uma.es

Doctor by the Universidad de Málaga with the thesis Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta 1998. Supervised by Dr. José María Troya Linero.