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                      mailto:gallardo@lcc.uma.es
29071 Málaga
Spain

Teaching

Basic Aspects of Imperative Programming

Concurrent Programming (ETSII)
Concurrent Programming (ETSIT)

Static and Dynamic Analysis of
Software

Timetable
 
Research

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

Papers

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.

 
Hobbies