María del Mar Gallardo Melgarejo

Lda en Ciencias (Matemáticas) Dra. en Informática Titular de Universidad Dpto. de Lenguajes y Ciencias de la Computación E.T.S.I.Informática-E.T.S.I. de Telecomunicación

English version

Dirección:                                           Despacho:   3.2.11
                                                          Tfno: 952 13 27 97
Campus de Teatinos s/n             mail : gallardolcc.uma.es
29071 Málaga
Spain

Docencia

Programación Concurrente (ETSIT)

Métodos para la construcción de software fiable.

en el Master Oficial de Posgrado en Ingeniería del Software e Inteligencia Artificial

Programación Concurrente

en el Máster Oficial de Posgrado en Telemática y Redes de Telecomunicación

Laboratorio de Tecnología de Objetos (ETSI Informática Gestión y Sistemas)

Horario del Segundo Cuatrimestre

Investigación 

Métodos Formales en Ingeniería del Software

Model Checking, Interpretación Abstracta
Redes Activas

Soy miembro del grupo gisum que integra gran cantidad de subgrupos dedicados

a distintos aspectos del desarrollo y análisis del software.

Aquí podéis encontrar algunas de mis publicaciones, aunque, a veces esta página no

está del todo actualizada.

Publicaciones

Comités de Programa