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

Programación Concurrente (ETSI Informática)
Programación Concurrente (ETSI Telecomunicación)

Métodos para la construcción de software fiable (Curso Doctorado)

Horario del Primer Cuatrimestre

Publicaciones

Comités de Programa

- 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)

aSPIN es una herramienta construida sobre el model checker SPIN para realizar model checking abstracto. La
estamos desarrollando actualmente. Integra técnicas de abstracción y model checking y se basa
en nuestras propuestas teóricas.

Si estás interesado en las técnicas formales y en su aplicación a  la construcción herramientas,
y te gustaría trabajar con nosotros, ponte en contacto conmigo.