María del Mar Gallardo Melgarejo

MSc in Mathematics
PhD in Computer Science

Associate Professor
Dpto. de Lenguajes y Ciencias de la Computación
E.T.S.I.Informática-E.T.S.I. de Telecomunicación
University of Málaga


Address:                                              Room:   3.2.11
                                                           Phone: 952 13 27 97
Campus de Teatinos s/n            
29071 Málaga


Basic Aspects of Imperative Programming

Concurrent Programming (ETSII)
Concurrent Programming (ETSIT)

Static and Dynamic Analysis of



I am currently working on the application of abstraction techniques to improve Model Checking.
I have also some papers related to Active networks.


Program Committees

- 9th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'04
- IV Jornadas de Programación y Lenguajes, PROLE'04
- 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05)

We are currently developing a tool to implement our theoretical proposals.
aSPIN  is an XML-based tool, built on the top of  the model checker SPIN.
It carries out abstract model checking by syntactic transfomation of PROMELA models.

Current and future version of the tool may be found at the page aSPIN project.